| Paketname | prover9-mace4 |
| Beschreibung | GUI for Prover9 and Mace4 |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 0.5.dfsg-2.1 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 243 Byte |
| Hängt ab von | python, python-support (>= 0.90.0), python-wxgtk2.8, prover9 (>= 0.0.200712-1) |
| Empfohlene Pakete | |
| Paketbetreuer | Peter Collingbourne |
| Quelle | p9m4 |
| Paketgröße | 69194 Byte |
| Prüfsumme MD5 | 5b142cececbafc1aea48e860c1ca0ad9 |
| Prüfsumme SHA1 | 41c088724b062c9f85dd34b8799fa76d6c9baff8 |
| Prüfsumme SHA256 | 1b4168a07e20e5dc9418dfa0eca101b64e42fe43918fbea7bd7a66493d398df4 |
| Link zum Herunterladen | prover9-mace4_0.5.dfsg-2.1_all.deb |
| Ausführliche Beschreibung | |