[ sid ]
Paket: python3-cryptominisat-dbgsym (5.11.21+dfsg1-1 och andra) [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.21+dfsg1-1+b1)
- Python bindings for the CryptoMiniSat SAT solver (Python 3)
Hämta python3-cryptominisat-dbgsym
Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|---|
ppc64 (inofficiell anpassning) | 5.11.21+dfsg1-1+b1 | 6.679,4 kbyte | 6.824,0 kbyte | [filförteckning] |