源码包：acl2（8.6+dfsg-2）

acl2 的相关链接

• eLxr 补丁追踪网站

维护者：

• Camm Maguire

外部的资源：

• 主页 [www.cs.utexas.edu]

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 有关的软件包

• adep: debhelper-compat (= 13)

  软件包暂时不可用

• adep: gcl27 (>= 2.7.1)

  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