Package: acl2
Priority: optional
Section: universe/math
Installed-Size: 149933
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Camm Maguire <camm@debian.org>
Architecture: i386
Version: 7.1-1
Depends: libc6 (>= 2.15), libgmp10, libreadline6 (>= 6.0), libx11-6
Recommends: acl2-source, acl2-books
Suggests: acl2-emacs
Filename: pool/universe/a/acl2/acl2_7.1-1_i386.deb
Size: 16463104
MD5sum: 4623a780282583217791b1566f4e2e79
SHA1: 996d43365f6fdfabcbcc8f8068bdd3f324d01aba
SHA256: bdaa575997a8b8a6a50f8bccd43af21baf9b8f73378ca5a310b772e036fd3e32
Description: Computational Logic for Applicative Common Lisp: main binary
Description-md5: 11f9e97229e3c77927e661525096d127
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu