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

Source Package: acl2 (3.6-1)

Links for acl2

Seuraavat binääripaketit on käännetty tästä lähdepaketista:

acl2: A Computational Logic for Applicative Common Lisp: main binary
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: A Computational Logic for Applicative Common Lisp: documentation
acl2-emacs: A Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix: A Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source: A Computational Logic for Applicative Common Lisp: infix source
acl2-source: A Computational Logic for Applicative Common Lisp: source files

adep: gcl (>= 2.6.7-36)

GNU Common Lisp compiler
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
myös näennäispaketti, jonka toteuttaa libreadline5-dev
adep: emacs22

GNU Emacs -editori
myös näennäispaketti, jonka toteuttaa emacs22-gtk, emacs22-nox

tai emacsen

näennäispaketti, jonka toteuttaa 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)

helper programs for 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

GNU time ohjelma suorittimen resurssien käytön seurantaan