| Paketname | proofgeneral |
| Beschreibung | generic interface for proof assistants - common package |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 3.7-4 |
| Sektion | universe/editors |
| Priorität | optional |
| Installierte Größe | 1696 Byte |
| Hängt ab von | debconf (>= 0.5) | debconf-2.0, emacs22 | emacsen, dpkg (>= 1.15.4) | install-info |
| Empfohlene Pakete | proofgeneral-misc | proofgeneral-coq |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 484910 Byte |
| Prüfsumme MD5 | 0d9e83e2ddd9abc03689e3a1aae72b33 |
| Prüfsumme SHA1 | 3aad04f69a47606cc4df3b32777b1b2d81c78f20 |
| Prüfsumme SHA256 | c7ed598cbd8df75d0fdd8dc4accb4983415df75ec033645017b60e1ad1cc0666 |
| Link zum Herunterladen | proofgeneral_3.7-4_all.deb |
| Ausführliche Beschreibung | |