| Paketname | minlog |
| Beschreibung | Proof assistant based on first order natural deduction calculus |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 4.0.99.20100221-5.2 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 8588 Byte |
| Hängt ab von | plt-scheme | guile |
| Empfohlene Pakete | emacs23 | emacs22 | emacsen |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 2886134 Byte |
| Prüfsumme MD5 | 4a4b85d7b24e5ad9bbce2a0474f4cd86 |
| Prüfsumme SHA1 | 14097376451df22de97de5c57ff144e52326dd58 |
| Prüfsumme SHA256 | f68334402b640cc6e3df4cba9c4f1f2083546947593f49a010b39715a350ac28 |
| Link zum Herunterladen | minlog_4.0.99.20100221-5.2_all.deb |
| Ausführliche Beschreibung | |