[ sid ]
Paket: python3-cryptominisat-dbgsym (5.11.4+dfsg1-3) [debports]
Länkar för python3-cryptominisat-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for python3-cryptominisat
Andra paket besläktade med python3-cryptominisat-dbgsym
|
|
|
|
-
- dep: python3-cryptominisat (= 5.11.4+dfsg1-3)
- Python bindings for the CryptoMiniSat SAT solver (Python 3)
Hämta python3-cryptominisat-dbgsym
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| riscv64 (inofficiell anpassning) | 5.229,4 kbyte | 5.368,0 kbyte | [filförteckning] |