[ sid ]

[ Pakiet źródłowy: ]

Pakiet: libcoq-ocaml-dbgsym (8.12.0-3 i inne) [debports]

Odnośniki dla libcoq-ocaml-dbgsym

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Podobne pakiety:

debug symbols for libcoq-ocaml

Inne pakiety związane z libcoq-ocaml-dbgsym

wymaga

poleca

sugeruje

enhances

dep: libcoq-ocaml (= 8.12.0-3+b3)

runtime libraries for Coq

Pobieranie libcoq-ocaml-dbgsym

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
x32 (port nieoficjalny)	8.12.0-3+b3	37,6 KiB	53,0 KiB	[lista plików]