| Paketname | mace2 |
| Beschreibung | program that searches for finite models of first-order statements |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 3.3f-1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 1384 Byte |
| Hängt ab von | libc6 (>= 2.5-5) |
| Empfohlene Pakete | perl, c-shell, otter |
| Paketbetreuer | Ubuntu MOTU Developers |
| Quelle | otter |
| Paketgröße | 500604 Byte |
| Prüfsumme MD5 | ab008c21e3ab0ff312621b9775cbf88d |
| Prüfsumme SHA1 | 56aed1affbabab807b00369fc6d27420a1b904c3 |
| Prüfsumme SHA256 | 4a4df3ddfb568aca0f210786ece875b6edfe9850007ec96c4ae9ea1c899d9b8f |
| Link zum Herunterladen | mace2_3.3f-1_i386.deb |
| Ausführliche Beschreibung | |