[ sid ]
套件:libcryptominisat5-5.11t64-dbgsym(5.11.21+dfsg1-1 以及其他的) [debports]
debug symbols for libcryptominisat5-5.11t64
其他與 libcryptominisat5-5.11t64-dbgsym 有關的套件
|
|
|
|
-
- dep: libcryptominisat5-5.11t64 (= 5.11.15+dfsg1-1.1) [alpha, ia64]
- SAT solver library
- dep: libcryptominisat5-5.11t64 (= 5.11.21+dfsg1-1) [除 alpha, ia64]
下載 libcryptominisat5-5.11t64-dbgsym
硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
---|---|---|---|---|
alpha (非官方移植版) | 5.11.15+dfsg1-1.1 | 7,022。7 kB | 7,163。0 kB | [檔案列表] |
hppa (非官方移植版) | 5.11.21+dfsg1-1 | 6,893。6 kB | 7,030。0 kB | [檔案列表] |
ia64 (非官方移植版) | 5.11.15+dfsg1-1.1 | 7,858。1 kB | 7,997。0 kB | [檔案列表] |
m68k (非官方移植版) | 5.11.21+dfsg1-1 | 6,799。4 kB | 6,923。0 kB | [檔案列表] |
ppc64 (非官方移植版) | 5.11.21+dfsg1-1 | 7,082。0 kB | 7,236。0 kB | [檔案列表] |
sh4 (非官方移植版) | 5.11.21+dfsg1-1 | 5,654。6 kB | 5,773。0 kB | [檔案列表] |
sparc64 (非官方移植版) | 5.11.21+dfsg1-1 | 6,860。9 kB | 7,006。0 kB | [檔案列表] |
x32 (非官方移植版) | 5.11.21+dfsg1-1 | 6,965。2 kB | 7,102。0 kB | [檔案列表] |