[ sid ]

[ Zdroj: ]

Balík: metamath-dbgsym (0.195-1) [debports]

Odkazy pre metamath-dbgsym

Zdroje Debian:

Hlásenia chýb

Stiahnuť zdrojový balík :

Nenájdený

Správcovia:

Podobné balíky:

debug symbols for metamath

Ostatné balíky súvisiace s balíkom metamath-dbgsym

závisí

odporúča

navrhuje

vylepšuje

dep: metamath (= 0.195-1)

Language for mathematical proofs

Stiahnuť metamath-dbgsym

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
ia64 (neoficiálny port)	693.8 kB	723.0 kB	[zoznam súborov]