Quellcode-Paket: acl2 (8.5dfsg-5)
Links für acl2
Debian-Ressourcen:
Betreuer:
Externe Ressourcen:
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-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
- elpa-acl2
- Rechenbetonte Logik für applikatives Common Lisp: Emacs-Schnittstelle
Andere Pakete mit Bezug zu acl2
-
- adep:
debhelper-compat
(= 13)
- Paket nicht verfügbar
-
- adep:
gcl
(>= 2.6.14-1)
- GNU Common Lisp Compiler
-
- adep:
debhelper
(>= 13)
- Hilfsprogramme für debian/rules
-
- adep:
texlive-latex-recommended
- TeX Live: LaTeX recommended packages
-
- adep:
time
- GNU-Programm »time« zur Messung des CPU-Ressourcenverbrauchs
-
- adep:
texinfo
- Dokumentationssystem für Online-Informationen und Ausdrucke
-
- idep:
dh-elpa
- Debian-Hilfswerkzeuge zum Paketieren von Emacs-Lisp-Erweiterungen
