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 Ubuntu Archiv precise (universe)
Version3.3f-1.1
Sektionuniverse/math
Prioritätoptional
Installierte Größe1135 Byte
Hängt ab vonlibc6 (>= 2.7)
Empfohlene Paketeperl, c-shell, otter
PaketbetreuerUbuntu Developers
Quelleotter
Paketgröße529218 Byte
Prüfsumme MD5475d32e7151e5f668e3a0cad22933354
Prüfsumme SHA1439b478744676d9aa7732b8f39ed8f29d8d56f1d
Prüfsumme SHA256dcf013daa90472bd0076c4c923621f055f716970d827dd8303c3a8029fd880f1
Link zum Herunterladenmace2_3.3f-1.1_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds