[ sid ]
Paket: libcryptominisat5-5.11t64-dbgsym (5.11.21+dfsg1-1 och andra) [debports]
Länkar för libcryptominisat5-5.11t64-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for libcryptominisat5-5.11t64
Andra paket besläktade med 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) [ej alpha, ia64]
Hämta libcryptominisat5-5.11t64-dbgsym
Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|---|
alpha (inofficiell anpassning) | 5.11.15+dfsg1-1.1 | 7.022,7 kbyte | 7.163,0 kbyte | [filförteckning] |
hppa (inofficiell anpassning) | 5.11.21+dfsg1-1 | 6.893,6 kbyte | 7.030,0 kbyte | [filförteckning] |
ia64 (inofficiell anpassning) | 5.11.15+dfsg1-1.1 | 7.858,1 kbyte | 7.997,0 kbyte | [filförteckning] |
m68k (inofficiell anpassning) | 5.11.21+dfsg1-1 | 6.799,4 kbyte | 6.923,0 kbyte | [filförteckning] |
ppc64 (inofficiell anpassning) | 5.11.21+dfsg1-1 | 7.082,0 kbyte | 7.236,0 kbyte | [filförteckning] |
sh4 (inofficiell anpassning) | 5.11.21+dfsg1-1 | 5.654,6 kbyte | 5.773,0 kbyte | [filförteckning] |
sparc64 (inofficiell anpassning) | 5.11.21+dfsg1-1 | 6.860,9 kbyte | 7.006,0 kbyte | [filförteckning] |
x32 (inofficiell anpassning) | 5.11.21+dfsg1-1 | 6.965,2 kbyte | 7.102,0 kbyte | [filförteckning] |