| Paketname | proofgeneral-misc |
| Beschreibung | generic interface for proof assistants - theorem provers support |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 3.7-4 |
| Sektion | universe/editors |
| Priorität | optional |
| Installierte Größe | 732 Byte |
| Hängt ab von | proofgeneral |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | proofgeneral |
| Paketgröße | 142178 Byte |
| Prüfsumme MD5 | 6b93b5581cc87c6d38a16af1cfabba62 |
| Prüfsumme SHA1 | 5ce636b3fec325f30658ea15d2ba4baad5c3e48a |
| Prüfsumme SHA256 | 8facef93547b6ffbb93d3776c9348603c0846e0be27a3dd9782cd34ab847dd73 |
| Link zum Herunterladen | proofgeneral-misc_3.7-4_all.deb |
| Ausführliche Beschreibung | |