[ sid ]
Paket: cryptominisat-dbgsym (5.11.4+dfsg1-3) [debports]
Länkar för cryptominisat-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for cryptominisat
Andra paket besläktade med cryptominisat-dbgsym
|
|
|
|
-
- dep: cryptominisat (= 5.11.4+dfsg1-3)
- SAT solver command line interface
Hämta cryptominisat-dbgsym
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
riscv64 (inofficiell anpassning) | 825,8 kbyte | 923,0 kbyte | [filförteckning] |