Pakket: libcoq-mtac2-dbgsym (1.4+8.19-1 en anderen) [debports]

Verwijzigingen voor libcoq-mtac2-dbgsym

Niet gevonden

dep: libcoq-mtac2 (= 1.4+8.17-1+b1) [riscv64]

Mtac2 tactic language for Coq

dep: libcoq-mtac2 (= 1.4+8.19-1) [ppc64]

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
ppc64 (unofficial port)	1.4+8.19-1	32,9 kB	134,0 kB	[overzicht]
riscv64 (unofficial port)	1.4+8.17-1+b1	28,9 kB	102,0 kB	[overzicht]