Пакет: 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