| Paketname | eprover-doc-html |
| Beschreibung | Theorem prover for first-order logic with equality - HTML doc |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 1.0.004-1ubuntu2 |
| Sektion | universe/science |
| Priorität | extra |
| Installierte Größe | 392 Byte |
| Hängt ab von | eprover |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu MOTU Developers |
| Quelle | eprover |
| Paketgröße | 51316 Byte |
| Prüfsumme MD5 | 79ea39e38fadb30ffaa6aba96c8c95ce |
| Prüfsumme SHA1 | 7d470b94a1c4fada510615b3deb39226787f83bb |
| Prüfsumme SHA256 | ca8b806bbc1e4d5100d0adbaa0ab37f6966cbafe3a1d0bee656db5c7a786f613 |
| Link zum Herunterladen | eprover-doc-html_1.0.004-1ubuntu2_all.deb |
| Ausführliche Beschreibung | |