| Paketname | prover9 |
| Beschreibung | theorem prover and countermodel generator |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 0.0.200902a-2 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 368 Byte |
| Hängt ab von | libc6 (>= 2.4), libladr4 (>= 0.0.200902a) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu MOTU Developers |
| Quelle | ladr |
| Paketgröße | 121764 Byte |
| Prüfsumme MD5 | 71643bbe48e99d3248b35b49c4c424cd |
| Prüfsumme SHA1 | 79e2e2c34e74349c1091ade3e1cd6b9db48d1401 |
| Prüfsumme SHA256 | 68844851099b113481539555df482d91a2b76760f90da1aea4fa9841a30974c2 |
| Link zum Herunterladen | prover9_0.0.200902a-2_i386.deb |
| Ausführliche Beschreibung | |