[ sid ]

[ Zdroj: ]

Balík: quickchick-dbgsym (2.0.3-3) [debports]

Odkazy pre quickchick-dbgsym

Zdroje Debian:

Hlásenia chýb

Stiahnuť zdrojový balík :

Nenájdený

Správcovia:

Podobné balíky:

debug symbols for quickchick

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

závisí

odporúča

navrhuje

vylepšuje

dep: quickchick (= 2.0.3-3)

randomized testing framework for Coq (tools)

Stiahnuť quickchick-dbgsym

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