套件：acl2-books-source（8.6+dfsg-2）

acl2-books-source 的相關連結

• eLxr 補丁追蹤網站

下載原始碼套件 acl2：

• [acl2_8.6+dfsg-2.debian.tar.xz]
• [acl2_8.6+dfsg-2.dsc]
• [acl2_8.6+dfsg.orig.tar.gz]

維護者：

• Camm Maguire

外部的資源：

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

相似套件：

• acl2-source
• acl2-infix-source
• acl2-books
• acl2
• acl2-doc
• elpa-acl2
• acl2-infix
• clisp
• cl-consfigurator
• librep-dev
• librep16

其他與 acl2-books-source 有關的套件

• dep: acl2 (>= 8.6+dfsg-2)

  Computational Logic for Applicative Common Lisp: main binary

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

下載 acl2-books-source