| Paketname | proofgeneral |
| Beschreibung | generic frontend for proof assistants |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 4.2~pre120605-1 |
| Sektion | editors |
| Priorität | optional |
| Installierte Größe | 1553 Byte |
| Hängt ab von | emacs23 | emacs23-nox | emacs23-lucid, mmm-mode |
| Empfohlene Pakete | |
| Paketbetreuer | Hendrik Tews |
| Quelle | |
| Paketgröße | 432326 Byte |
| Prüfsumme MD5 | b9aa642c50766d3e7d31045dce6da890 |
| Prüfsumme SHA1 | 87e6d970c852a237d32f0a1ed00847c8e7808efd |
| Prüfsumme SHA256 | 8237ee62d62013c457c523f026b84010fedab3dad1c16d92fbb984e9957a26b2 |
| Link zum Herunterladen | proofgeneral_4.2~pre120605-1_all.deb |
| Ausführliche Beschreibung | use::checking
|