Package: acl2-doc
Priority: optional
Section: universe/doc
Installed-Size: 17185
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Camm Maguire <camm@debian.org>
Architecture: all
Source: acl2
Version: 6.3-5
Depends: dpkg (>= 1.14.18), tex-common (>= 3), dpkg (>= 1.15.4) | install-info
Filename: pool/universe/a/acl2/acl2-doc_6.3-5_all.deb
Size: 12728778
MD5sum: 1d211565585065b3f0c783ab8e24bd18
SHA1: 2f5a39766c1cd62cae68ecebfc716535c55796ff
SHA256: 0a2ad5127ba73cd6a53535df482262e2d25dc0858d4428d56c3acec239e87951
Description: Computational Logic for Applicative Common Lisp: documentation
Description-md5: 5c7f73fe4a8d5c6db72b616db6a620bc
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu