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

Source Package: acl2 (8.3dfsg-2)

Links for acl2

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-emacs: logica computazionale per Applicative Common Lisp: interfaccia Emacs
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

adep: debhelper-compat (= 13)

Package not available
adep: gcl (>= 2.6.12-92)

compilatore GNU Common Lisp
adep: libgmp3-dev

libreria aritmetica a precisione multipla, strumenti di sviluppo
adep: libreadline-dev

librerie GNU readline ed history, file di sviluppo
adep: emacs-gtk

editor GNU Emacs (con gestione di GUI GTK )

or emacsen

virtual package provided by emacs-gtk, emacs-lucid, emacs-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
adep: debhelper (>= 5)

programmi ausiliari per debian/rules
adep: texlive-latex-recommended

TeX Live: pacchetti LaTeX raccomandati
adep: libxmu-dev

libreria di utilità varie per X11 (header di sviluppo)
adep: libxaw7-dev

libreria X11 Athena Widget (header di sviluppo)
adep: time

programma GNU time per misurare l'uso delle risorse CPU
adep: tex-common

infrastruttura comune per compilare e installare TeX
adep: texinfo

Sistema documentale per informazioni in linea e stampate