Package: acl2-doc
Architecture: all
Version: 8.5dfsg-6
Priority: optional
Section: universe/doc
Source: acl2
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Camm Maguire <camm@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1475
Depends: tex-common (>= 6.13), dpkg (>= 1.15.4)
Filename: pool/universe/a/acl2/acl2-doc_8.5dfsg-6_all.deb
Size: 485170
MD5sum: c15b71edbae403d0fae24d102bd3b09d
SHA1: 1d0fcd1d9f2b3b00b5891f510d38bc8a76b2e994
SHA256: 77a4293964ac7ac0e924dd12ef8b9cbce8b534cd09e35b360f068cec3866fb2e
SHA512: 1096c8b303e61fe04120737bec710a987f29e1c3672ecf1222fa544d68dfd739d6926aba3bad1e9fc3b66693b274e34c05d5d1c0e01e8a62b64e8323c36d70fb
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: documentation
Description-md5: 5c7f73fe4a8d5c6db72b616db6a620bc