| Paketname | acl2-emacs |
| Beschreibung | Computational Logic for Applicative Common Lisp: emacs interface |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 4.3-3 |
| Sektion | universe/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 | Ubuntu Developers |
| Quelle | acl2 |
| Paketgröße | 54232 Byte |
| Prüfsumme MD5 | 6b7049b41577bd48620542d579158520 |
| Prüfsumme SHA1 | d81061c97487a7e0f1ca2c2a15a3b7f8ef329deb |
| Prüfsumme SHA256 | 35913f6160af5c2c732fc4986785f4b0c7478bafcd94b40d762d34a7c6531909 |
| Link zum Herunterladen | acl2-emacs_4.3-3_all.deb |
| Ausführliche Beschreibung | |