|
|
| Paket |
Quelle |
Archiv |
Kurzbeschreibung |
Version |
| acl2-emacs |
Debian |
stable |
A Computational Logic for Applicative Common Lisp: emacs interface |
3.1-1 |
| acl2-emacs |
Debian |
testing |
A Computational Logic for Applicative Common Lisp: emacs interface |
3.6-4 |
| acl2-emacs |
Debian |
unstable |
A Computational Logic for Applicative Common Lisp: emacs interface |
3.6-4 |
|
|
|
