[ sid ]
Paketti: boolector-dbgsym (1.5.118.6b56be4.121013-1.3) [debports]
Links for boolector-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for boolector
Muut pakettiin boolector-dbgsym liittyvät paketit
|
|
|
|
-
- dep: boolector (= 1.5.118.6b56be4.121013-1.3)
- SMT solver for bit-vectors and arrays
Imuroi boolector-dbgsym
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
m68k (epävirallinen siirros) | 11.9 kt | 46.0 kt | [tiedostoluettelo] |