Balík: coq-dbgsym (8.19.1+dfsg-2 a iné) [debports]

Odkazy pre coq-dbgsym

Nenájdený

dep: coq (= 8.17.0+dfsg-1+b2) [riscv64]

asistent dôkazov logiky vyššieho rádu (najvyššia úroveň a kompilátor)

dep: coq (= 8.19.1+dfsg-2) [ppc64]

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
ppc64 (neoficiálny port)	8.19.1+dfsg-2	8,459.1 kB	38,620.0 kB	[zoznam súborov]
riscv64 (neoficiálny port)	8.17.0+dfsg-1+b2	8,984.3 kB	36,988.0 kB	[zoznam súborov]