[ sid ]
套件:cryptominisat-dbgsym(5.11.21+dfsg1-1 以及其他的) [debports]
debug symbols for cryptominisat
其他與 cryptominisat-dbgsym 有關的套件
|
|
|
|
-
- dep: cryptominisat (= 5.11.15+dfsg1-1.1) [alpha, ia64]
- SAT solver command line interface
- dep: cryptominisat (= 5.11.21+dfsg1-1) [除 alpha, ia64, riscv64]
- dep: cryptominisat (= 5.11.4+dfsg1-3) [riscv64]
下載 cryptominisat-dbgsym
硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
---|---|---|---|---|
alpha (非官方移植版) | 5.11.15+dfsg1-1.1 | 1,005。5 kB | 1,107。0 kB | [檔案列表] |
hppa (非官方移植版) | 5.11.21+dfsg1-1 | 1,224。8 kB | 1,285。0 kB | [檔案列表] |
ia64 (非官方移植版) | 5.11.15+dfsg1-1.1 | 1,054。3 kB | 1,156。0 kB | [檔案列表] |
m68k (非官方移植版) | 5.11.21+dfsg1-1 | 1,207。9 kB | 1,267。0 kB | [檔案列表] |
ppc64 (非官方移植版) | 5.11.21+dfsg1-1 | 1,263。7 kB | 1,341。0 kB | [檔案列表] |
riscv64 (非官方移植版) | 5.11.4+dfsg1-3 | 825。8 kB | 923。0 kB | [檔案列表] |
sh4 (非官方移植版) | 5.11.21+dfsg1-1 | 1,002。1 kB | 1,114。0 kB | [檔案列表] |
sparc64 (非官方移植版) | 5.11.21+dfsg1-1 | 1,223。9 kB | 1,293。0 kB | [檔案列表] |
x32 (非官方移植版) | 5.11.21+dfsg1-1 | 1,246。4 kB | 1,305。0 kB | [檔案列表] |