[ etch ] [ etch-m68k ] [ squeeze ] [ sid ]

Paquet source : acl2 (3.6-1)

Liens pour acl2

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

acl2: Une logique calculatoire pour Applicative Common Lisp : binaire principal
acl2-books: A Computational Logic for Applicative Common Lisp: compiled libraries
acl2-books-certs: A Computational Logic for Applicative Common Lisp: library certificates
acl2-books-source: A Computational Logic for Applicative Common Lisp: library sources
acl2-doc: Logique algorithmique pour application Common Lisp : documentation
acl2-emacs: Logique algorithmique pour application Common Lisp : interface emacs
acl2-infix: A Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source: Logique algorithmique pour application Common Lisp : source infix
acl2-source: Logique algorithmique pour application Common Lisp : fichiers sources

adep: gcl (>= 2.6.7-36)

Compilateur Common Lisp de GNU
adep: libgmp3-dev

Multiprecision arithmetic library developers tools
adep: libncurses5-dev

developer's libraries and docs for ncurses
adep: libreadline-dev

GNU readline and history libraries, development files
un paquet virtuel est également fourni par libreadline5-dev
adep: emacs22

Éditeur Emacs de GNU
un paquet virtuel est également fourni par emacs22-gtk, emacs22-nox

ou emacsen

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

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

TeX Live: LaTeX recommended packages
adep: libxmu-dev

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

X11 Athena Widget library (development headers)
adep: time

Programme GNU time pour mesurer l'utilisation des ressources CPU