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

Quellcode-Paket: acl2 (8.0dfsg-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 Bibliotheken
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: Quelltextdateien

adep: gcl (>= 2.6.12-59)

GNU Common Lisp Compiler
adep: libgmp3-dev

Mehrfach genaue Arithmetikbibliothek - Entwicklungswerkzeuge
adep: libreadline-dev

GNU-Readline- und -History-Bibliotheken, Entwicklungsdateien
adep: emacs25

Editor GNU Emacs - Übergangspaket für den Wechsel zu emacs-gtk

oder emacsen

virtuelles Paket, bereitgestellt durch emacs-gtk, emacs-lucid, emacs-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
adep: debhelper (>= 5)

Hilfsprogramme für debian/rules
adep: texlive-latex-recommended

TeX Live: empfohlene LaTeX-Pakete
adep: libxmu-dev

X11-Bibliothek mit diversen Hilfsprogrammen (Entwicklungs-Header)
adep: libxaw7-dev

»X11 Athena Widget«-Bibliothek (Entwicklungs-Header)
adep: time

GNU-Programm »time« zur Messung des CPU-Ressourcenverbrauchs
adep: tex-common

Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX
adep: texinfo

Dokumentationssystem für Online-Informationen und Ausdrucke