| Paketname | proofgeneral-doc |
| Beschreibung | generic frontend for proof assistants - documentation |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 4.2~pre120605-1 |
| Sektion | universe/doc |
| Priorität | optional |
| Installierte Größe | 1150 Byte |
| Hängt ab von | dpkg (>= 1.15.4) | install-info |
| Empfohlene Pakete | info-browser | pdf-viewer | www-browser |
| Paketbetreuer | Ubuntu Developers |
| Quelle | proofgeneral |
| Paketgröße | 665358 Byte |
| Prüfsumme MD5 | 8245767ee5dd0a0903ca914d59c84c07 |
| Prüfsumme SHA1 | 6d18410d37f0b729352ca67b524bf7ccba0b8f3e |
| Prüfsumme SHA256 | 264ae5a901161509216342427d9f6276da4bb2fe9e14bf61cc2314d906c0e1e0 |
| Link zum Herunterladen | proofgeneral-doc_4.2~pre120605-1_all.deb |
| Ausführliche Beschreibung | |