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


Paketnameprover9
Beschreibungtheorem prover and countermodel generator
Archiv/RepositoryOffizielles Debian Archiv wheezy (main)
Version0.0.200902a-2.1
Sektionmath
Prioritätoptional
Installierte Größe286 Byte
Hängt ab vonlibc6 (>= 2.7), libladr4 (>= 0.0.200902a)
Empfohlene Pakete
PaketbetreuerPeter Collingbourne
Quelleladr
Paketgröße124392 Byte
Prüfsumme MD5167eca80621e03cdb72f1fa4529c86ef
Prüfsumme SHA16b1ba069abf7bf9ff763c698232b4b4b2f1e15cb
Prüfsumme SHA256d27c84c7d1bfae730d299c751a9d8ca299bb8aa40cda25d6403122e9ac416e69
Link zum Herunterladenprover9_0.0.200902a-2.1_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds