パッケージ: acl2-doc (8.6+dfsg-2)

acl2-doc に関するリンク

• 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
• elpa-acl2
• acl2-books-source
• acl2-infix-source
• acl2-infix
• acl2-books-certs
• acl2-books
• rep-doc
• cl-consfigurator
• clisp
• maude

その他の acl2-doc 関連パッケージ

• dep: dpkg (>= 1.15.4)

  Debian package management system

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

acl2-doc のダウンロード