[ sid ]
Balík: python3-cryptominisat-dbgsym (5.11.4+dfsg1-3) [debports]
Odkazy pre python3-cryptominisat-dbgsym
Zdroje Debian:
Stiahnuť zdrojový balík :
NenájdenýSprávcovia:
Podobné balíky:
debug symbols for python3-cryptominisat
Ostatné balíky súvisiace s balíkom python3-cryptominisat-dbgsym
|
|
|
|
-
- dep: python3-cryptominisat (= 5.11.4+dfsg1-3)
- Python bindings for the CryptoMiniSat SAT solver (Python 3)
Stiahnuť python3-cryptominisat-dbgsym
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| riscv64 (neoficiálny port) | 5,229.4 kB | 5,368.0 kB | [zoznam súborov] |