Zdrojový balík: acl2 (8.5dfsg-5)
Odkazy pre acl2
Zdroje Debian:
Správca:
Externé zdroje:
Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
- acl2
- Computational Logic for Applicative Common Lisp - hlavný binárny súbor
- acl2-books
- Computational Logic for Applicative Common Lisp - skompilované knižnice
- acl2-books-certs
- Computational Logic for Applicative Common Lisp - certifikáty knižníc
- acl2-books-source
- Computational Logic for Applicative Common Lisp - zdrojový kód knižníc
- acl2-doc
- Computational Logic for Applicative Common Lisp - dokumentácia
- acl2-infix
- Computational Logic for Applicative Common Lisp - rozhranie infix
- acl2-infix-source
- Computational Logic for Applicative Common Lisp - zdrojové súbory infix
- acl2-source
- Computational Logic for Applicative Common Lisp - zdrojový kód
- elpa-acl2
- Computational Logic for Applicative Common Lisp - rozhranie pre Emacs
Ostatné balíky súvisiace s balíkom acl2
-
- adep:
debhelper-compat
(= 13)
- Balík nie je dostupný
-
- adep:
gcl
(>= 2.6.14-1)
- GNU Common Lisp compiler
-
- adep:
debhelper
(>= 13)
- pomocné programy pre debian/rules
-
- adep:
texlive-latex-recommended
- TeX Live: LaTeX recommended packages
-
- adep:
time
- program GNU time na meranie využitia zdrojov CPU
-
- adep:
texinfo
- Dokumentačný systém pre on-line informácie a tlačené výstupy
-
- idep:
dh-elpa
- Debian helper tools for packaging emacs lisp extensions
