| Paketname | prover9 |
| Beschreibung | theorem prover and countermodel generator |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 0.0.200902a-2.1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 299 Byte |
| Hängt ab von | libc6 (>= 2.11), libladr4 (>= 0.0.200902a) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | ladr |
| Paketgröße | 100742 Byte |
| Prüfsumme MD5 | 000d867cb60165f4b82051c13a0d9220 |
| Prüfsumme SHA1 | 1bde236d8a19e2e2e8f90d110a16ed757c3dcef6 |
| Prüfsumme SHA256 | aa8d441a25f4f2f8e8c35fdfcf9d5ec4a731bcb3209a916e5bc4c4c7a391f7e7 |
| Link zum Herunterladen | prover9_0.0.200902a-2.1_i386.deb |
| Ausführliche Beschreibung | |