[ sid ]
Paket: boolector-dbgsym (1.5.118.6b56be4.121013-1.3) [debports]
Links für boolector-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
debug symbols for boolector
Andere Pakete mit Bezug zu boolector-dbgsym
|
|
|
|
-
- dep: boolector (= 1.5.118.6b56be4.121013-1.3)
- SMT-Solver für Bit-Vektoren und Arrays
boolector-dbgsym herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
m68k (inoffizielle Portierung) | 11,9 kB | 46,0 kB | [Liste der Dateien] |