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


Paketnamemace2
Beschreibungprogram that searches for finite models of first-order statements
Archiv/RepositoryOffizielles Debian Archiv wheezy (main)
Version3.3f-1.1
Sektionmath
Prioritätoptional
Installierte Größe1120 Byte
Hängt ab vonlibc6 (>= 2.7)
Empfohlene Paketeperl, c-shell, otter
PaketbetreuerPeter Collingbourne
Quelleotter
Paketgröße544728 Byte
Prüfsumme MD5c430a2d63dec75fda893a37252480300
Prüfsumme SHA1f3955736839f625f24161a371472f1fe5f6fadbf
Prüfsumme SHA256c7e5f870bf5ea1c979fb109e41ed306fa1e553a2b5fd4523d8bc99d044e4ecd6
Link zum Herunterladenmace2_3.3f-1.1_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds