Pakket: libcoq-unicoq-dbgsym (1.6-8.19-2 en anderen) [debports]

Verwijzigingen voor libcoq-unicoq-dbgsym

Niet gevonden

dep: libcoq-unicoq (= 1.6-8.17-1+b2) [riscv64]

enhanced unification algorithm for Coq

dep: libcoq-unicoq (= 1.6-8.19-2) [ppc64]

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
ppc64 (unofficial port)	1.6-8.19-2	19,7 kB	80,0 kB	[overzicht]
riscv64 (unofficial port)	1.6-8.17-1+b2	17,5 kB	61,0 kB	[overzicht]