Package: acl2 Priority: optional Section: universe/math Installed-Size: 125056 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Camm Maguire <camm@debian.org> Architecture: amd64 Version: 4.2-1 Depends: libc6 (>= 2.11), libgmp3c2, libncurses5 (>= 5.5-5~), libreadline6 (>= 6.0), libx11-6 Recommends: acl2-source, acl2-books Suggests: acl2-emacs Filename: pool/universe/a/acl2/acl2_4.2-1_amd64.deb Size: 26579714 MD5sum: e13a86af4f3e2d8fc17fe59e13ad57c6 SHA1: 4ead4a6aab2dfc16de0e179c9652db8ba50c0447 SHA256: be05f43db8dec1457f0d8753510106e508c0b86538809c7c19d6d657b21ed0b9 Description: A Computational Logic for Applicative Common Lisp: main binary Description-md5: 5c77f7a0fd608c59b650c3c2e29cb8b1 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu