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


Paketnamespass
BeschreibungAn automated theorem prover for first-order logic with equality
Archiv/RepositoryOffizielles Debian Archiv wheezy (main)
Version3.7-3
Sektionscience
Prioritätoptional
Installierte Größe4180 Byte
Hängt ab vondpkg (>= 1.15.4) | install-info, libc6 (>= 2.3)
Empfohlene Pakete
PaketbetreuerRoland Stigge
Quelle
Paketgröße2135340 Byte
Prüfsumme MD5d524c5fc395b5fa5b93f8231498b8817
Prüfsumme SHA1020d7a416960cc26db0337e4b5c78deb87ed6009
Prüfsumme SHA256f9efc8da34f150fcab8689eb1f77260ddd564c3d8913ade38e00265dc3bd26d6
Link zum Herunterladenspass_3.7-3_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds