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 Debian Archiv wheezy (main)
Version1.4.ffc2089.100608-1
Sektionscience
Prioritätextra
Installierte Größe328 Byte
Hängt ab vonlibc6 (>= 2.3), picosat
Empfohlene Pakete
PaketbetreuerMichael Tautschnig
Quelle
Paketgröße125326 Byte
Prüfsumme MD56ec90b207534ef67e5761ddbccd5cb9e
Prüfsumme SHA18a4fa0da0a22f30b03432681be8c2a59f4abd367
Prüfsumme SHA256d62fff20c3a1c0f7cf1fd1e9e6ac4e4986e191d152d9e144785061a8d72fcac2
Link zum Herunterladenboolector_1.4.ffc2089.100608-1_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds