| Paketname | proofgeneral-minlog |
| Beschreibung | generic interface for proof assistants - Minlog support |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 3.7-4 |
| Sektion | universe/editors |
| Priorität | optional |
| Installierte Größe | 96 Byte |
| Hängt ab von | proofgeneral, mzscheme (>= 300) | guile-1.8 | guile |
| Empfohlene Pakete | minlog |
| Paketbetreuer | Ubuntu Developers |
| Quelle | proofgeneral |
| Paketgröße | 20200 Byte |
| Prüfsumme MD5 | 85c2df05f31c0cf16351505b25080a63 |
| Prüfsumme SHA1 | 62efc324f74f3e744efb5b6e1f0d0df906ef6797 |
| Prüfsumme SHA256 | 04b119939979c4157b212ee93a2200cac270ae3ae4b7252ac51c1553db1f38fa |
| Link zum Herunterladen | proofgeneral-minlog_3.7-4_all.deb |
| Ausführliche Beschreibung | |