Package: acl2
Architecture: amd64
Version: 8.2dfsg-3build1
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: 240888
Depends: libc6 (>= 2.29), libgmp10, libreadline8 (>= 6.0), libx11-6
Recommends: acl2-source, acl2-books
Suggests: acl2-emacs
Filename: pool/universe/a/acl2/acl2_8.2dfsg-3build1_amd64.deb
Size: 21932904
MD5sum: 28dcc8e1dcfc55df0d9e19193b13bb70
SHA1: c423198acc8270de62952ed04307c4547244c170
SHA256: 1b52b9552ecd82dd5922025a4775f0f497af9d4831dc65bc7f2a477c3c31805f
Description: Computational Logic for Applicative Common Lisp: main binary
Description-md5: 11f9e97229e3c77927e661525096d127