| Paketname | mace2 |
| Beschreibung | program that searches for finite models of first-order statements |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 3.3f-1.1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 1135 Byte |
| Hängt ab von | libc6 (>= 2.7) |
| Empfohlene Pakete | perl, c-shell, otter |
| Paketbetreuer | Ubuntu Developers |
| Quelle | otter |
| Paketgröße | 529218 Byte |
| Prüfsumme MD5 | 475d32e7151e5f668e3a0cad22933354 |
| Prüfsumme SHA1 | 439b478744676d9aa7732b8f39ed8f29d8d56f1d |
| Prüfsumme SHA256 | dcf013daa90472bd0076c4c923621f055f716970d827dd8303c3a8029fd880f1 |
| Link zum Herunterladen | mace2_3.3f-1.1_i386.deb |
| Ausführliche Beschreibung | |