[  etiona  ] [  nabia  ] [  aramo  ]

[ Källkod: acl2  ]

Länkar för acl2-doc

Trisquelresurser:

• Install using apturl
• Entry at directory.fsf.org
• Felrapporter
• Changelog
• Upphovsrättsfil

Hämta källkodspaketet acl2:

• [acl2_8.2dfsg-3build1.dsc]
• [acl2_8.2dfsg.orig.tar.gz]
• [acl2_8.2dfsg-3build1.debian.tar.xz]

Ansvarig:

• Camm Maguire

Original Maintainer:

• Camm Maguire

Liknande paket:

• acl2-source
• elpa-acl2
• acl2-emacs
• acl2-books-source
• acl2-infix-source
• acl2-infix
• acl2-books-certs
• acl2-books
• rep-doc
• clisp
• cl-consfigurator

Andra paket besläktade med acl2-doc

beror

rekommenderar

föreslår

• dep: dpkg (>= 1.15.4)

  Debian package management system

  eller install-info

  Manage installed documentation in info format

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

Hämta acl2-doc

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
all	418,1 kbyte	1260 kbyte	[filförteckning]