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