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	otter
Beschreibung	resolution-style theorem prover
Archiv/Repository	Offizielles Debian Archiv wheezy (main)
Version	3.3f-1.1
Sektion	math
Priorität	optional
Installierte Größe	1286 Byte
Hängt ab von	libc6 (>= 2.7)
Empfohlene Pakete	perl, c-shell, mace2
Paketbetreuer	Peter Collingbourne
Quelle
Paketgröße	777218 Byte
Prüfsumme MD5	de012e04d2f72697436d0514fa3fc7ae
Prüfsumme SHA1	96f73c9df32716e02ba53b460d26f927c58ee734
Prüfsumme SHA256	ef8c31343d88b1503feb794ce0cee6cc826ae428434f8dd284139c9ca9729fcd
Link zum Herunterladen	otter_3.3f-1.1_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds