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 Ubuntu Archiv precise (universe)
Version	3.3f-1.1
Sektion	universe/math
Priorität	optional
Installierte Größe	1291 Byte
Hängt ab von	libc6 (>= 2.7)
Empfohlene Pakete	perl, c-shell, mace2
Paketbetreuer	Ubuntu Developers
Quelle
Paketgröße	763214 Byte
Prüfsumme MD5	4bf04bf4ef0335a7ad291f0000c86db8
Prüfsumme SHA1	6915cb8530b6f9911bd40340d093caa2f9647a10
Prüfsumme SHA256	dc26fb9e533f308e9d2556ad7779df2af5ec2420685c4713bb1f91697626668c
Link zum Herunterladen	otter_3.3f-1.1_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds