| Paketname | eprover |
| Beschreibung | Theorem prover for first-order logic with equality |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 1.0.004-1ubuntu2 |
| Sektion | universe/science |
| Priorität | extra |
| Installierte Größe | 2036 Byte |
| Hängt ab von | libc6 (>= 2.4) |
| Empfohlene Pakete | eprover-doc-html |
| Paketbetreuer | Ubuntu MOTU Developers |
| Quelle | |
| Paketgröße | 952482 Byte |
| Prüfsumme MD5 | af6860f53353e2beed894b9b9f2231d2 |
| Prüfsumme SHA1 | b224ddf94671051c4bbc7a26038c0e6e60fc7601 |
| Prüfsumme SHA256 | 0e43ec50aa8d0a36a7d5a5d689c7fa0ec707e3aa71a6141e50c38c7c904a96db |
| Link zum Herunterladen | eprover_1.0.004-1ubuntu2_i386.deb |
| Ausführliche Beschreibung | |