[ sid ]
套件：cryptominisat-dbgsym（5.11.21+dfsg1-1 以及其他的） [debports]
debug symbols for cryptominisat
其他與 cryptominisat-dbgsym 有關的套件
|
|
|
|
-
- dep: cryptominisat (= 5.11.15+dfsg1-1.1) [ia64]
- SAT solver command line interface
- dep: cryptominisat (= 5.11.21+dfsg1-1+b3) [除 ia64, riscv64]
- dep: cryptominisat (= 5.11.4+dfsg1-3) [riscv64]
下載 cryptominisat-dbgsym
| 硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
|---|---|---|---|---|
| alpha （非官方移植版） | 5.11.21+dfsg1-1+b3 | 1，308。8 kB | 1，674。0 kB | [檔案列表] |
| hppa （非官方移植版） | 5.11.21+dfsg1-1+b3 | 1，278。1 kB | 1，606。0 kB | [檔案列表] |
| ia64 （非官方移植版） | 5.11.15+dfsg1-1.1 | 1，054。3 kB | 1，156。0 kB | [檔案列表] |
| m68k （非官方移植版） | 5.11.21+dfsg1-1+b3 | 1，209。4 kB | 1，509。0 kB | [檔案列表] |
| ppc64 （非官方移植版） | 5.11.21+dfsg1-1+b3 | 1，320。0 kB | 1，724。0 kB | [檔案列表] |
| riscv64 （非官方移植版） | 5.11.4+dfsg1-3 | 825。8 kB | 923。0 kB | [檔案列表] |
| sh4 （非官方移植版） | 5.11.21+dfsg1-1+b3 | 1，037。5 kB | 1，331。0 kB | [檔案列表] |
| sparc64 （非官方移植版） | 5.11.21+dfsg1-1+b3 | 1，277。5 kB | 1，577。0 kB | [檔案列表] |
| x32 （非官方移植版） | 5.11.21+dfsg1-1+b3 | 1，301。0 kB | 1，414。0 kB | [檔案列表] |