Paquet source : acl2 (8.3dfsg-2)
Liens pour acl2
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Responsable :
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
Autres paquets associés à acl2
|
|
-
- adep: debhelper-compat (= 13)
- Paquet indisponible
-
- adep: gcl (>= 2.6.12-92)
- 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: emacs-gtk
- éditeur de texte GNU Emacs avec interface graphique GTK+
- 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: LaTeX recommended packages
-
- 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
Download acl2
Fichier | Taille (en ko) | Somme MD5 |
---|---|---|
acl2_8.3dfsg-2.dsc | 2,2 ko | 5f3635cfd1faf110266042afd85e41cc |
acl2_8.3dfsg.orig.tar.gz | 114 512,6 ko | c7205f24ed678a7a20282a95e3173fb8 |
acl2_8.3dfsg-2.debian.tar.xz | 223,0 ko | d393ca4df461a7bbb2b7dfa8fcb8a8c2 |