Package: acl2 Version: 7.2dfsg-3 Installed-Size: 207794 Maintainer: Camm Maguire <camm@debian.org> Architecture: amd64 Depends: libc6 (>= 2.15), libgmp10, libreadline7 (>= 6.0), libx11-6 Recommends: acl2-source, acl2-books Suggests: acl2-emacs Description: Computational Logic for Applicative Common Lisp: main binary Description-md5: 11f9e97229e3c77927e661525096d127 Tag: devel::interpreter, devel::lang:lisp, field::mathematics, implemented-in::lisp, interface::text-mode, role::program, scope::utility, uitoolkit::ncurses, works-with::software:source Section: math Priority: optional Filename: pool/main/a/acl2/acl2_7.2dfsg-3_amd64.deb Size: 18128940 MD5sum: 988829ba7bd746468df7a352f48c6f08 SHA256: 1a63cf0f13d1ac37bb2571ebd7f1c7e0a59154864baece08a2c28928438d8f68