Balík: python3-cryptominisat-dbgsym (5.11.21+dfsg1-1) [debports]

[ Zdroj:  ]

debug symbols for python3-cryptominisat

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

• dep: python3-cryptominisat (= 5.11.21+dfsg1-1)

  Python bindings for the CryptoMiniSat SAT solver (Python 3)

Stiahnuť python3-cryptominisat-dbgsym

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
ppc64 (neoficiálny port)	6,677.5 kB	6,822.0 kB	[zoznam súborov]