| Paketname | minlog |
| Beschreibung | Proof assistant based on first order natural deduction calculus |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 4.0.99.20100221-5.2 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 8584 Byte |
| Hängt ab von | plt-scheme | guile |
| Empfohlene Pakete | emacs23 | emacs22 | emacsen |
| Paketbetreuer | Freiric Barral |
| Quelle | |
| Paketgröße | 2884278 Byte |
| Prüfsumme MD5 | c6aa2fdac3b9355dae48c8fcc42b1403 |
| Prüfsumme SHA1 | e55bdfe6d7c22f21dbe752ccd2cdbd0937d1a204 |
| Prüfsumme SHA256 | 0e8119c4ee6aeaefa926d5e23f45106a5f3db85633156012c8633c259ed71d2e |
| Link zum Herunterladen | minlog_4.0.99.20100221-5.2_all.deb |
| Ausführliche Beschreibung | |