Package: acl2
Architecture: i386
Version: 8.0dfsg-1
Priority: optional
Section: universe/math
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: 154603
Depends: libc6 (>= 2.15), libgmp10, libreadline7 (>= 6.0), libx11-6
Recommends: acl2-source, acl2-books
Suggests: acl2-emacs
Filename: pool/universe/a/acl2/acl2_8.0dfsg-1_i386.deb
Size: 16994892
MD5sum: 388b548a377d3a8872f30a4583b51af2
SHA1: 0680f951307e75ddc7cba3ec24200e97f6cf001d
SHA256: f67f48f3b20cf40c72ff5cafad9d9794cdb0512d4f98f1044ca95d31c901eac9
Description: Computational Logic for Applicative Common Lisp: main binary
Description-md5: 11f9e97229e3c77927e661525096d127