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

Quellcode-Paket: hol88 (2.02.19940316-35.1)

Links für hol88

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

hol88: Logik höherer Ordnung - Systemabbild
hol88-contrib-help: Logik höherer Ordnung - Benutzererstellte Online-Hilfsdateien
hol88-contrib-source: Logik höherer Ordnung - von Anwendern beigetragener Quelltext
hol88-doc: Dokumentation für hol88
hol88-help: Logik höherer Ordnung - Online-Hilfsdateien
hol88-library: Logik höherer Ordnung - binäre Bibliotheksmodule
hol88-library-help: Logik höherer Ordnung - Online-Hilfsdateien für die Bibliotheken
hol88-library-source: Logik höherer Ordnung, Bibliotheks-Quelldateien
hol88-source: Logik höherer Ordnung - Quellcode-Dateien

adep: debhelper (>= 9)

Hilfsprogramme für debian/rules
adep: gcl (>= 2.6.12-57)

GNU Common Lisp Compiler
adep: texlive-latex-base

TeX Live: grundlegende LaTeX-Pakete
adep: libgmp3-dev

Mehrfach genaue Arithmetikbibliothek - Entwicklungswerkzeuge
adep: libreadline-dev

GNU-Readline- und -History-Bibliotheken, Entwicklungsdateien
adep: libxmu-dev

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

»X11 Athena Widget«-Bibliothek (Entwicklungs-Header)