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ß

Paketname	boolector
Beschreibung	SMT solver for bit-vectors and arrays
Archiv/Repository	Offizielles Debian Archiv wheezy (main)
Version	1.4.ffc2089.100608-1
Sektion	science
Priorität	extra
Installierte Größe	328 Byte
Hängt ab von	libc6 (>= 2.3), picosat
Empfohlene Pakete
Paketbetreuer	Michael Tautschnig
Quelle
Paketgröße	125326 Byte
Prüfsumme MD5	6ec90b207534ef67e5761ddbccd5cb9e
Prüfsumme SHA1	8a4fa0da0a22f30b03432681be8c2a59f4abd367
Prüfsumme SHA256	d62fff20c3a1c0f7cf1fd1e9e6ac4e4986e191d152d9e144785061a8d72fcac2
Link zum Herunterladen	boolector_1.4.ffc2089.100608-1_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds