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


Paketnamepicosat
BeschreibungSAT solver with proof and core support
Archiv/RepositoryOffizielles Debian Archiv wheezy (main)
Version936-4
Sektionscience
Prioritätextra
Installierte Größe608 Byte
Hängt ab vonlibc6 (>= 2.7)
Empfohlene Pakete
PaketbetreuerMichael Tautschnig
Quelle
Paketgröße268054 Byte
Prüfsumme MD5677dcc5d5fc35fc367b02d0017c1aaf9
Prüfsumme SHA1f1e1cf7fa3eb938193f00ab24ffe9ec7642bcd64
Prüfsumme SHA2562ec10c97a8f7ecb08514823d54ff049db94543b6a9935e40e197e8a719f74d58
Link zum Herunterladenpicosat_936-4_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds