| Paketname | proofgeneral-doc |
| Beschreibung | generic frontend for proof assistants - documentation |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 4.2~pre120605-1 |
| Sektion | doc |
| Priorität | optional |
| Installierte Größe | 1153 Byte |
| Hängt ab von | dpkg (>= 1.15.4) | install-info |
| Empfohlene Pakete | info-browser | pdf-viewer | www-browser |
| Paketbetreuer | Hendrik Tews |
| Quelle | proofgeneral |
| Paketgröße | 671154 Byte |
| Prüfsumme MD5 | 4415587f07f8e62d569f1737817323b6 |
| Prüfsumme SHA1 | 6b585d9f2b6c02ad507b3867b35ef6b52f58f143 |
| Prüfsumme SHA256 | f02de46c836bb20eb9c6d3d2ff48d2bd723af74ef01acf5d2450e6d7be27b5fa |
| Link zum Herunterladen | proofgeneral-doc_4.2~pre120605-1_all.deb |
| Ausführliche Beschreibung | use::checking
|