[ squeeze ] [ wheezy ] [ sid ]

[ Source: acl2 ]

Package: acl2-doc (4.3-2)

Links for acl2-doc

Debian Resources:

Download Source Package acl2:

Maintainer:

Camm Maguire (QA Page)

Similar packages:

Computational Logic for Applicative Common Lisp: documentation

Other Packages Related to acl2-doc

depends

recommends

suggests

dep: dpkg (>= 1.15.4)

Debian package management system

or install-info

Manage installed documentation in info format

Download acl2-doc

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	352.0 kB	815.0 kB	[list of files]