Package: elpa-acl2
Architecture: all
Version: 8.5dfsg-5
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: 350
Depends: acl2 (>= 8.5dfsg-5), 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-5_all.deb
Size: 72014
MD5sum: cd69b742b36b075e72751860c90e3c75
SHA1: 5350e785bff42990eeedfb0b616964cb2f2429cf
SHA256: 4d8ad3501eeb91e3ec80e92eefca50d4a0e4180c4d131684d8aa5148978e4422
SHA512: 4d89dd441cf4adbe17fee70858484964e917a376d7ce60ed6c6f23a56f9a372def3c4b0356a565880ccb82a09be4f538865781f7fed3d795809577aea05f4a96
Homepage: https://www.cs.utexas.edu/users/moore/acl2/
Description: Computational Logic for Applicative Common Lisp: emacs interface
Description-md5: 785e47d860f1b215d53efbb4f2bef1fc