[ sid ]

[ Zdroj: ]

Balík: libcoq-mtac2-dbgsym (1.4+8.17-1 a iné) [debports]

Odkazy pre libcoq-mtac2-dbgsym

Zdroje Debian:

Hlásenia chýb

Stiahnuť zdrojový balík :

Nenájdený

Správcovia:

Podobné balíky:

debug symbols for libcoq-mtac2

Ostatné balíky súvisiace s balíkom libcoq-mtac2-dbgsym

závisí

odporúča

navrhuje

vylepšuje

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

Mtac2 tactic language for Coq

Stiahnuť libcoq-mtac2-dbgsym

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
ppc64 (neoficiálny port)	1.4+8.17-1+b1	26.6 kB	107.0 kB	[zoznam súborov]
riscv64 (neoficiálny port)	1.4+8.17-1+b1	28.9 kB	102.0 kB	[zoznam súborov]