| Paketname | eprover-examples |
| Beschreibung | Theorem prover for first-order logic with equality - examples |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 1.0.004-1ubuntu2 |
| Sektion | universe/science |
| Priorität | extra |
| Installierte Größe | 964 Byte |
| Hängt ab von | eprover |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu MOTU Developers |
| Quelle | eprover |
| Paketgröße | 181274 Byte |
| Prüfsumme MD5 | 0cadef97c68c09d5c5f47fa7eb7da551 |
| Prüfsumme SHA1 | 969cbda8929bdb4f82a864f46a236aff193e03b7 |
| Prüfsumme SHA256 | b3eb6143c1f7c415e830e8f4f959953c69039410ace78ff4e3978c8bdb014b2e |
| Link zum Herunterladen | eprover-examples_1.0.004-1ubuntu2_all.deb |
| Ausführliche Beschreibung | |