Source Package: acl2 (4.3-3)
Links for acl2
Debian Resources:
Maintainer:
The following binary packages are built from this source package:
- 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
Other Packages Related to acl2
-
- adep:
gcl
(>= 2.6.7-100)
- GNU Common Lisp Compiler
-
- adep:
libgmp3-dev
- Mehrfach genaue Arithmetikbibliothek - Entwicklungswerkzeuge
-
- adep:
libreadline-dev
- GNU-Readline- und -History-Bibliotheken, Entwicklungsdateien
-
- adep:
emacs23
- Editor GNU Emacs (mit GTK+-Benutzeroberfläche)
also a virtual package provided by
emacs23-lucid, emacs23-nox
- or
emacsen
- virtual package provided by
emacs23, emacs23-lucid, emacs23-nox
-
- 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
