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

Zdrojový balík: acl2 (8.0dfsg-1)

Odkazy pre acl2

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

acl2: Computational Logic for Applicative Common Lisp - hlavný binárny súbor
acl2-books: Computational Logic for Applicative Common Lisp - skompilované knižnice
acl2-books-certs: Computational Logic for Applicative Common Lisp - certifikáty knižníc
acl2-books-source: Computational Logic for Applicative Common Lisp - zdrojový kód knižníc
acl2-doc: Computational Logic for Applicative Common Lisp - dokumentácia
acl2-emacs: Computational Logic for Applicative Common Lisp - rozhranie pre Emacs
acl2-infix: Computational Logic for Applicative Common Lisp - rozhranie infix
acl2-infix-source: Computational Logic for Applicative Common Lisp - zdrojové súbory infix
acl2-source: Computational Logic for Applicative Common Lisp - zdrojový kód

adep: gcl (>= 2.6.12-59)

GNU Common Lisp compiler
adep: libgmp3-dev

aritmetická knižnica s viacnásobnou presnosťou - vývojové nástroje
adep: libreadline-dev

GNU knižnice readline a histórie - vývojové súbory
adep: emacs25

GNU Emacs - prechodový balík na emacs-gtk

alebo emacsen

virtuálny balík poskytovaný balíkom emacs-gtk, emacs-lucid, emacs-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
adep: debhelper (>= 5)

pomocné programy pre debian/rules
adep: texlive-latex-recommended

TeX Live: odporúčané balíky LaTeXu
adep: libxmu-dev

knižnica rozličných nástrojov X11 - vývojové súbory
adep: libxaw7-dev

knižnica X11 Athena Widgets - vývojové hlavičkové súbory
adep: time

program GNU time na meranie využitia zdrojov CPU
adep: tex-common

spoločná infraštruktúra na zostavovanie a inštalovanie TeXu
adep: texinfo

Dokumentačný systém pre on-line informácie a tlačené výstupy