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 quantal (universe)
Version	936-4
Sektion	universe/science
Priorität	extra
Installierte Größe	653 Byte
Hängt ab von	libc6 (>= 2.7)
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle
Paketgröße	278482 Byte
Prüfsumme MD5	8f8e9094c759d75c941abcae0c0e3ae6
Prüfsumme SHA1	8d359c95fd7167489e6f6064e71a6c956e584605
Prüfsumme SHA256	4900d6226a31d6bc251382fe258614d78358ae1e5232f0910ee0101e65e4fb02
Link zum Herunterladen	picosat_936-4_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds