| Paketname | proofgeneral |
| Beschreibung | generic frontend for proof assistants |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 4.2~pre120605-1 |
| Sektion | universe/editors |
| Priorität | optional |
| Installierte Größe | 1549 Byte |
| Hängt ab von | emacs23 | emacs23-nox | emacs23-lucid, mmm-mode |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 430356 Byte |
| Prüfsumme MD5 | d3f0d8ef58e34203a81124f1f763f435 |
| Prüfsumme SHA1 | 649ff0076c6c8cc10b78c452ecad83185c6333d2 |
| Prüfsumme SHA256 | 05c1f75bbe8045e658bfb7fcfea365c5f45fda4170deffe814cda1af74631ffd |
| Link zum Herunterladen | proofgeneral_4.2~pre120605-1_all.deb |
| Ausführliche Beschreibung | |