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 oneiric (universe)
Version	936-2
Sektion	universe/science
Priorität	extra
Installierte Größe	616 Byte
Hängt ab von	libc6 (>= 2.4)
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle
Paketgröße	231146 Byte
Prüfsumme MD5	6e551898079517cc3658245a36e7dac4
Prüfsumme SHA1	f2f3f256b7abb251398829f25c0e220b2c744066
Prüfsumme SHA256	5d06ab43709246523fddd8e16eebed09e3581b26ac99a8a492f32edd1a692906
Link zum Herunterladen	picosat_936-2_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds