» Ubuntu » Пакеты » resolute (26.04LTS) » Исходный код » math » acl2
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Пакет исходного кода: acl2 (8.6+dfsg-3build1) [universe]

Ссылки для acl2

Ресурсы Ubuntu:

Сопровождающий:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Camm Maguire

It should generally not be necessary for users to contact the original maintainer.

Внешние ресурсы:

Из этого пакета исходного кода собираются следующие двоичные пакеты:
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-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
elpa-acl2
Computational Logic for Applicative Common Lisp: emacs interface

Другие пакеты, относящиеся к acl2

  • для сборки
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Пакет недоступен
  • adep: gcl27 (>= 2.7.1-4)
    GNU Common Lisp compiler
  • adep: debhelper (>= 13)
    helper programs for debian/rules
  • adep: texlive-latex-recommended
    TeX Live: LaTeX recommended packages
  • adep: time
    GNU time program for measuring CPU resource usage
  • adep: texinfo
    Documentation system for on-line information and printed output
  • adep: tex-common
    common infrastructure for building and installing TeX
  • idep: dh-elpa
    Debian helper tools for packaging emacs lisp extensions

Download acl2

ФайлРазмер (в Кб)Контрольная сумма MD5
acl2_8.6+dfsg.orig.tar.gz 234 696,6 Кб 771f71065482cd947d11ce939ed3ebe8
acl2_8.6+dfsg-3build1.debian.tar.xz 694,5 Кб dd4c2c3e8d0e71f560f30dbaffcbf569
acl2_8.6+dfsg-3build1.dsc 2,3 Кб f547c3ed857d519eaf1d6f7954da3077