Package: acl2 Architecture: amd64 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: 226538 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_amd64.deb Size: 19704384 MD5sum: 3fde3bd4835857b0d767a1f167b80ff4 SHA1: a901100462c29961537047142d8c71979d966303 SHA256: 746234317fd193038be866993cd526e326d1de463fa9330846f22c3743c6b6f5 Description: Computational Logic for Applicative Common Lisp: main binary Description-md5: 11f9e97229e3c77927e661525096d127