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

[ Pakiet źródłowy:  ]

debug symbols for libcoq-elpi

Inne pakiety związane z libcoq-elpi-dbgsym

• dep: libcoq-elpi (= 1.17.1-1+b8)

  Coq plugin embedding Elpi

Pobieranie libcoq-elpi-dbgsym

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
ppc64 (port nieoficjalny)	1.17.1-1+b8	77,7 KiB	403,0 KiB	[lista plików]