| Paketname | prover9-mace4 |
| Beschreibung | GUI for Prover9 and Mace4 |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 0.5.dfsg-2.1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 325 Byte |
| Hängt ab von | python, python-support (>= 0.90.0), python-wxgtk2.8, prover9 (>= 0.0.200712-1) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | p9m4 |
| Paketgröße | 69258 Byte |
| Prüfsumme MD5 | 5807aeb69f0d742ddbc5a79675e6f6d3 |
| Prüfsumme SHA1 | b22600a28dbc52a7646f5ead7223c6bf27703340 |
| Prüfsumme SHA256 | 64a8d83d09ba68700bd8213874972b0a6f97af42b842b25bb2282f4d38312dfe |
| Link zum Herunterladen | prover9-mace4_0.5.dfsg-2.1_all.deb |
| Ausführliche Beschreibung | |