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	mace2
Beschreibung	program that searches for finite models of first-order statements
Archiv/Repository	Offizielles Debian Archiv wheezy (main)
Version	3.3f-1.1
Sektion	math
Priorität	optional
Installierte Größe	1120 Byte
Hängt ab von	libc6 (>= 2.7)
Empfohlene Pakete	perl, c-shell, otter
Paketbetreuer	Peter Collingbourne
Quelle	otter
Paketgröße	544728 Byte
Prüfsumme MD5	c430a2d63dec75fda893a37252480300
Prüfsumme SHA1	f3955736839f625f24161a371472f1fe5f6fadbf
Prüfsumme SHA256	c7e5f870bf5ea1c979fb109e41ed306fa1e553a2b5fd4523d8bc99d044e4ecd6
Link zum Herunterladen	mace2_3.3f-1.1_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds