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	picosat
Beschreibung	SAT solver with proof and core support
Archiv/Repository	Offizielles Ubuntu Archiv precise (universe)
Version	936-3
Sektion	universe/science
Priorität	extra
Installierte Größe	548 Byte
Hängt ab von	libc6 (>= 2.4)
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle
Paketgröße	231890 Byte
Prüfsumme MD5	99c6c22fb1ff62a40ce23665f74b7d49
Prüfsumme SHA1	ffdd33a3ad6fc48b450471b1993c968277e2e0b7
Prüfsumme SHA256	83b776d8223a49263fdf906db46c13918a9a26ef65e4403204e7e79faad713df
Link zum Herunterladen	picosat_936-3_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds