[ 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) [ia64]
- SAT solver library
- dep: libcryptominisat5-5.11t64 (= 5.11.21+dfsg1-1) [alpha]
- dep: libcryptominisat5-5.11t64 (= 5.11.21+dfsg1-1+b1) [m68k, sh4]
- dep: libcryptominisat5-5.11t64 (= 5.11.21+dfsg1-1+b2) [hppa, ppc64, sparc64, x32]
下載 libcryptominisat5-5.11t64-dbgsym
硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
---|---|---|---|---|
alpha (非官方移植版) | 5.11.21+dfsg1-1 | 7,031。7 kB | 7,173。0 kB | [檔案列表] |
hppa (非官方移植版) | 5.11.21+dfsg1-1+b2 | 7,015。2 kB | 7,148。0 kB | [檔案列表] |
ia64 (非官方移植版) | 5.11.15+dfsg1-1.1 | 7,858。1 kB | 7,997。0 kB | [檔案列表] |
m68k (非官方移植版) | 5.11.21+dfsg1-1+b1 | 6,798。9 kB | 6,923。0 kB | [檔案列表] |
ppc64 (非官方移植版) | 5.11.21+dfsg1-1+b2 | 7,237。0 kB | 7,387。0 kB | [檔案列表] |
sh4 (非官方移植版) | 5.11.21+dfsg1-1+b1 | 5,654。8 kB | 5,773。0 kB | [檔案列表] |
sparc64 (非官方移植版) | 5.11.21+dfsg1-1+b2 | 6,994。3 kB | 7,136。0 kB | [檔案列表] |
x32 (非官方移植版) | 5.11.21+dfsg1-1+b2 | 7,130。5 kB | 7,275。0 kB | [檔案列表] |