Package: elpa-acl2
Architecture: all
Version: 8.5dfsg-5build3
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: 347
Depends: acl2 (>= 8.5dfsg-5build3), 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.5dfsg-5build3_all.deb
Size: 72432
MD5sum: e699dea7acaaeb979a01f85c05dee6f7
SHA1: 117abd7de50848ba174ea3a788351cc9c61f79bc
SHA256: 2a3f4df81effa9bbaeda3c87e9fc614cf1308aeb5a5dbcf46af0f6af62238e49
SHA512: be717b0b11a7a489850ccf6760f35e17529dce866886c0c7c84eae3d8e5fa9afd71e13826cc9291fe8deec3308bbd4b08819a51efacba5c7eb34b5916a40c40a
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: emacs interface
Description-md5: 785e47d860f1b215d53efbb4f2bef1fc