DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnameboolector
BeschreibungSMT solver for bit-vectors and arrays
Archiv/RepositoryOffizielles Ubuntu Archiv quantal (universe)
Version1.4.ffc2089.100608-1
Sektionuniverse/science
Prioritätextra
Installierte Größe332 Byte
Hängt ab vonlibc6 (>= 2.4), picosat
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelle
Paketgröße126566 Byte
Prüfsumme MD5477bdc6f7482e006be1314077b8e3964
Prüfsumme SHA11e592e78e9ba20a2ebcca184d7cf843d600e0505
Prüfsumme SHA2569350762c1690d272615e5d84e152d1319ffd22be79dd6c9f40d3dfc70eee0544
Link zum Herunterladenboolector_1.4.ffc2089.100608-1_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds