[ sid ]

[ Zdroj: ]

Balík: gappa-dbgsym (1.4.1-2) [debports]

Odkazy pre gappa-dbgsym

Zdroje Debian:

Hlásenia chýb

Stiahnuť zdrojový balík :

Nenájdený

Správcovia:

Podobné balíky:

debug symbols for gappa

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

závisí

odporúča

navrhuje

vylepšuje

dep: gappa (= 1.4.1-2)

Automatic generation of proofs of arithmetic properties

Stiahnuť gappa-dbgsym

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