[ sid ]
Balík: cryptominisat-dbgsym (5.11.4+dfsg1-3) [debports]
Odkazy pre cryptominisat-dbgsym
Zdroje Debian:
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
|
|
|
|
-
- dep: cryptominisat (= 5.11.4+dfsg1-3)
- SAT solver command line interface
Stiahnuť cryptominisat-dbgsym
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
riscv64 (neoficiálny port) | 825.8 kB | 923.0 kB | [zoznam súborov] |