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

Пакет исходного кода: acl2 (8.0dfsg-1)

Ссылки для acl2

Из этого пакета исходного кода собираются следующие двоичные пакеты:

acl2: Computational Logic for Applicative Common Lisp: main binary
acl2-books: Computational Logic for Applicative Common Lisp: compiled libraries
acl2-books-certs: Computational Logic for Applicative Common Lisp: library certificates
acl2-books-source: Computational Logic for Applicative Common Lisp: library sources
acl2-doc: Computational Logic for Applicative Common Lisp: documentation
acl2-emacs: Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix: Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source: Computational Logic for Applicative Common Lisp: infix source
acl2-source: Computational Logic for Applicative Common Lisp: source files

adep: gcl (>= 2.6.12-59)

GNU Common Lisp compiler
adep: libgmp3-dev

Multiprecision arithmetic library developers tools
adep: libreadline-dev

GNU readline and history libraries, development files
adep: emacs25

GNU Emacs transitional package to emacs-gtk

или emacsen

виртуальный пакет, предоставляемый emacs-gtk, emacs-lucid, emacs-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
adep: debhelper (>= 5)

вспомогательные программы для debian/rules
adep: texlive-latex-recommended

TeX Live: LaTeX recommended packages
adep: libxmu-dev

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

X11 Athena Widget library (development headers)
adep: time

GNU time — программа для измерения использования ресурсов
adep: tex-common

инфраструктура для сборки и установки TeX
adep: texinfo

Система документирования для представления в сети и вывода на печать