[ 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 |
---|---|---|---|
alpha (epävirallinen siirros) | 12.1 kt | 56.0 kt | [tiedostoluettelo] |
hppa (epävirallinen siirros) | 12.4 kt | 49.0 kt | [tiedostoluettelo] |
ia64 (epävirallinen siirros) | 11.9 kt | 56.0 kt | [tiedostoluettelo] |
m68k (epävirallinen siirros) | 11.9 kt | 46.0 kt | [tiedostoluettelo] |
ppc64 (epävirallinen siirros) | 11.8 kt | 59.0 kt | [tiedostoluettelo] |
riscv64 (epävirallinen siirros) | 11.9 kt | 57.0 kt | [tiedostoluettelo] |
sh4 (epävirallinen siirros) | 12.3 kt | 111.0 kt | [tiedostoluettelo] |
sparc64 (epävirallinen siirros) | 11.9 kt | 56.0 kt | [tiedostoluettelo] |
x32 (epävirallinen siirros) | 12.0 kt | 46.0 kt | [tiedostoluettelo] |