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

Zdrojový balík: acl2 (8.3dfsg-2)

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: debhelper-compat (= 13)

Balík nie je dostupný
adep: gcl (>= 2.6.12-92)

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: emacs-gtk

editor GNU Emacs s podporou grafického používateľského rozhrania v 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: LaTeX recommended packages
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