[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

Paquet source : acl2 (8.0dfsg-1)

Liens pour acl2

Les paquets binaires suivants sont compilés à partir de ce paquet source :

acl2: logique calculatoire pour Applicative Common Lisp - binaire principal
acl2-books: logique informatique pour ACL (Applicative Common Lisp) - bibliothèques compilées
acl2-books-certs: logique calculatoire pour Applicative Common List - certificats de bibliothèques
acl2-books-source: logique calculatoire pour Applicative Common Lisp - sources de la bibliothèque
acl2-doc: logique algorithmique pour application Common Lisp - documentation
acl2-emacs: logique algorithmique pour application Common Lisp - interface emacs
acl2-infix: logique calculatoire pour Applicative Common Lisp - interface infixe
acl2-infix-source: logique algorithmique pour application Common Lisp - source infixe
acl2-source: logique calculatoire pour Applicative Common Lisp - fichiers sources

adep: gcl (>= 2.6.12-59)

Compilateur Common Lisp de GNU
adep: libgmp3-dev

Multiprecision arithmetic library developers tools
adep: libreadline-dev

Bibliothèques GNU readline et GNU history, fichiers de développement
adep: emacs25

paquet de transition vers emacs-gtk pour GNU Emacs

ou emacsen

paquet virtuel fourni par emacs-gtk, emacs-lucid, emacs-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
adep: debhelper (>= 5)

programmes assistants pour debian/rules
adep: texlive-latex-recommended

TeX Live : paquets recommandés pour LaTeX
adep: libxmu-dev

X11 miscellaneous utility library (development headers)
adep: libxaw7-dev

Bibliothèque X11 Athena Widget (en-têtes de développement)
adep: time

programme GNU time pour mesurer l'utilisation des ressources CPU
adep: tex-common

infrastructure commune pour construire et installer TeX
adep: texinfo

Système de documentation pour l'information en ligne ou imprimée