| Paketname | acl2-emacs |
| Beschreibung | A Computational Logic for Applicative Common Lisp: emacs interface |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 4.2-1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 308 Byte |
| Hängt ab von | acl2 (>= 4.2-1), emacs23 | emacsen |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 52768 Byte |
| Prüfsumme MD5 | 377a432e0fb18d20f092d97e5c06d1e3 |
| Prüfsumme SHA1 | a0b6be59e285537356c83f9b9853e5ce5af1375a |
| Prüfsumme SHA256 | d75c434d774bb1b6e543f6646c82254b9ac232081ccba1a474415e5fd4f17b27 |
| Link zum Herunterladen | acl2-emacs_4.2-1_all.deb |
| Ausführliche Beschreibung | |