[ sid ]

[ Pakiet źródłowy: ]

Pakiet: libcoq-elpi-dbgsym (2.1.0-1 i inne) [debports]

Odnośniki dla libcoq-elpi-dbgsym

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Podobne pakiety:

debug symbols for libcoq-elpi

Inne pakiety związane z libcoq-elpi-dbgsym

wymaga

poleca

sugeruje

enhances

dep: libcoq-elpi (= 1.17.1-1+b4) [riscv64]

Coq plugin embedding Elpi

dep: libcoq-elpi (= 2.1.0-1+b1) [ppc64]

dep: libcoq-elpi (= 2.1.0-1+b3) [loong64]

Pobieranie libcoq-elpi-dbgsym

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
loong64 (port nieoficjalny)	2.1.0-1+b3	143,5 KiB	702,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	2.1.0-1+b1	134,8 KiB	751,0 KiB	[lista plików]
riscv64 (port nieoficjalny)	1.17.1-1+b4	84,7 KiB	391,0 KiB	[lista plików]