Source Package: acl2 (8.5dfsg-5)
Links for acl2
Debian Resources:
Maintainer:
External Resources:
The following binary packages are built from this source package:
- acl2
- logica computazionale per Applicative Common Lisp: binari principali
- acl2-books
- logica computazionale per Applicative Common Lisp: librerie compilate
- acl2-books-certs
- logica computazionale per Applicative Common Lisp: certificati di libreria
- acl2-books-source
- logica computazionale per Applicative Common Lisp: sorgenti di libreria
- acl2-doc
- logica computazionale per Applicative Common Lisp: documentazione
- acl2-infix
- logica computazionale per Applicative Common Lisp: interfaccia infix
- acl2-infix-source
- logica computazionale per Applicative Common Lisp: sorgenti infix
- acl2-source
- logica computazionale per Applicative Common Lisp: file dei sorgenti
- elpa-acl2
- logica computazionale per Applicative Common Lisp: interfaccia Emacs
Other Packages Related to acl2
-
- adep:
debhelper-compat
(= 13)
- Package not available
-
- adep:
gcl
(>= 2.6.14-1)
- compilatore GNU Common Lisp
-
- adep:
debhelper
(>= 13)
- programmi ausiliari per debian/rules
-
- adep:
texlive-latex-recommended
- TeX Live: LaTeX recommended packages
-
- adep:
time
- programma GNU time per misurare l'uso delle risorse CPU
-
- adep:
texinfo
- Sistema documentale per informazioni in linea e stampate
-
- idep:
dh-elpa
- strumenti ausiliari Debian per pacchettizzare estensioni Emacs Lisp