[ sid ]
Paket: boolector-dbgsym (1.5.118.6b56be4.121013-1.3) [debports]
Länkar för boolector-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for boolector
Andra paket besläktade med boolector-dbgsym
|
|
|
|
-
- dep: boolector (= 1.5.118.6b56be4.121013-1.3)
- SMT solver for bit-vectors and arrays
Hämta boolector-dbgsym
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
hppa (inofficiell anpassning) | 12,4 kbyte | 49,0 kbyte | [filförteckning] |