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

Paquet source : hol88 (2.02.19940316-35.1)

Liens pour hol88

Les paquets binaires suivants sont compilés à partir de ce paquet source :

hol88: Higher Order Logic (logique d'ordre supérieur), image système
hol88-contrib-help: Higher Order Logic (logique d'ordre supérieur) –⋅fichiers d’aide en ligne contributions d'utilisateurs
hol88-contrib-source: Higher Order Logic (logique d'ordre supérieur) – source contribution d'utilisateurs
hol88-doc: documentation pour hol88
hol88-help: Higher Order Logic (logique d'ordre supérieur) – fichiers d’aide en ligne
hol88-library: Higher Order Logic (logique d'ordre supérieur) –⋅modules exécutables de la bibliothèque
hol88-library-help: Higher Order Logic (logique d'ordre supérieur) – fichiers d’aide en ligne de la bibliothèque
hol88-library-source: Higher Order Logic (logique d'ordre supérieur) –⋅fichiers source de la bibliothèque
hol88-source: Higher Order Logic (logique d'ordre supérieur) – fichiers source

adep: debhelper (>= 9)

programmes assistants pour debian/rules
adep: gcl (>= 2.6.12-57)

Compilateur Common Lisp de GNU
adep: texlive-latex-base

TeX Live: LaTeX fundamental packages
adep: libgmp3-dev

Multiprecision arithmetic library developers tools
adep: libreadline-dev

Bibliothèques GNU readline et GNU history, fichiers de développement
adep: libxmu-dev

X11 miscellaneous utility library (development headers)
adep: libxaw7-dev

Bibliothèque X11 Athena Widget (en-têtes de développement)