Package: elpa-acl2
Architecture: all
Version: 8.6+dfsg-3
Priority: optional
Section: universe/lisp
Source: acl2
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: 383
Depends: acl2 (>= 8.6+dfsg-3), emacs-gtk | emacsen, dh-elpa-helper, emacsen-common, tex-common (>= 6.13)
Breaks: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Filename: pool/universe/a/acl2/elpa-acl2_8.6+dfsg-3_all.deb
Size: 80512
MD5sum: dc486501fc05dee30b154bc73b25c088
SHA1: 2b007e40c6297c0b7cc83a92f466448360114086
SHA256: db49c05102944ffc288988aab154e3e4aaad48dee62dfd38e87500a2edccd5c0
SHA512: c93565c0ea0a30a71e2f0d5ea4e6c3802eaf8d278831e7ab5d9be92bf55cf6d3c44bb4e92f6f23e20f4e92473f51708cc94032fb8aadda8751386bcd2e48c751
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: emacs interface
Description-md5: 785e47d860f1b215d53efbb4f2bef1fc