| Paketname | acl2-emacs |
| Beschreibung | Computational Logic for Applicative Common Lisp: emacs interface |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 4.3-3 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 257 Byte |
| Hängt ab von | acl2 (>= 4.3-3), emacs23 | emacsen, dpkg (>= 1.14.18), tex-common (>= 3) |
| Empfohlene Pakete | |
| Paketbetreuer | Camm Maguire |
| Quelle | acl2 |
| Paketgröße | 60860 Byte |
| Prüfsumme MD5 | 0410ac5705f626479a52f1d230bd07a3 |
| Prüfsumme SHA1 | 2c1b31e96c073af7aceb2f68f0582291f6686a49 |
| Prüfsumme SHA256 | 0195e3ee66ec5fd52f6362305162c485a46ffdabcd607f41aa91fb0a7fbb41ab |
| Link zum Herunterladen | acl2-emacs_4.3-3_all.deb |
| Ausführliche Beschreibung | implemented-in::lisp, interface::commandline, role::plugin,
suite::emacs, use::editing, works-with::software:source
|