[ sid ]

[ Zdroj: ]

Balík: cryptominisat-dbgsym (5.11.15+dfsg1-1.1) [debports]

Odkazy pre cryptominisat-dbgsym

Zdroje Debian:

Hlásenia chýb

Stiahnuť zdrojový balík :

Nenájdený

Správcovia:

Podobné balíky:

debug symbols for cryptominisat

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

závisí

odporúča

navrhuje

vylepšuje

dep: cryptominisat (= 5.11.15+dfsg1-1.1)

SAT solver command line interface

Stiahnuť cryptominisat-dbgsym

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