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

Quellcode-Paket: acl2 (3.6-1)

Links für acl2

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:

acl2: Rechenbetonte Logik für applikatives Common Lisp: Hauptprogramm
acl2-books: Rechenbetonte Logik für applikatives Common Lisp: kompilierte Bibliotheken
acl2-books-certs: Rechenbetonte Logik für applikatives Common Lisp: Bibliothekszertifikate
acl2-books-source: Rechenbetonte Logik für applikatives Common Lisp: Quelltexte der Bibliothek
acl2-doc: Rechenbetonte Logik für applikatives Common Lisp: Dokumentation
acl2-emacs: Rechenbetonte Logik für applikatives Common Lisp: Emacs-Schnittstelle
acl2-infix: Rechenbetonte Logik für applikatives Common Lisp: Infix-Schnittstelle
acl2-infix-source: Rechenbetonte Logik für applikatives Common Lisp: Infix-Quelltexte
acl2-source: Rechenbetonte Logik für applikatives Common Lisp: Quelltext-Dateien

adep: gcl (>= 2.6.7-36)

GNU Common Lisp Compiler
adep: libgmp3-dev

Multiprecision arithmetic library developers tools
adep: libncurses5-dev

Bibliotheken und Dokumentationen von ncurses für Entwickler
adep: libreadline-dev

GNU readline and history libraries, development files
auch ein virtuelles Paket, bereitgestellt durch libreadline5-dev
adep: emacs22

Der GNU Emacs Editor
auch ein virtuelles Paket, bereitgestellt durch emacs22-gtk, emacs22-nox

oder emacsen

virtuelles Paket, bereitgestellt durch 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)

Hilfsprogramme für 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

Das GNU-Kommando »time« um CPU-Ressourcenverbrauch zu messen