Package - elpa-acl2

Package:  elpa-acl2
apt-get install elpa-acl2
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/a/acl2/elpa-acl2_8.6+dfsg-2_all.deb (Size: 76.4KiB)

PropertyValue
Packageelpa-acl2
Sourceacl2
Version8.6+dfsg-2
Installed-Size383
MaintainerCamm Maguire
Architectureall
Replacesacl2 (<= 2.7-9)
Dependsacl2 (>= 8.6+dfsg-2), emacs-gtk | emacsen, dh-elpa-helper, emacsen-common, tex-common (>= 6.13)
Breaksacl2 (<= 2.7-9)
DescriptionComputational Logic for Applicative Common Lisp: emacs interface
Description-md5785e47d860f1b215d53efbb4f2bef1fc
Homepagehttps://www.cs.utexas.edu/users/moore/acl2/
Sectionlisp
Priorityoptional
Filenamepool/main/a/acl2/elpa-acl2_8.6+dfsg-2_all.deb
Size78264
MD5sumc060fe742b55233202c95519adbd5aca
SHA25639e769e4c918d5ebb2a0192a4d06996b66ab4f7348b0cddbed9a8c4f33936535

Files in package

  • /usr/lib/emacsen-common/packages/compat/elpa-acl2
  • /usr/lib/emacsen-common/packages/install/elpa-acl2
  • /usr/lib/emacsen-common/packages/remove/elpa-acl2
  • /usr/share/doc/elpa-acl2/changelog.Debian.gz
  • /usr/share/doc/elpa-acl2/copyright
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/acl2-autoloads.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/acl2-doc-open-url.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/acl2-doc.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/acl2-indent.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/acl2-interface-functions.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/acl2-interface.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/acl2-mode.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/acl2-pkg.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/acl2.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/debian-autoloads.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/emacs-acl2.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/fancy-string-syntax.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/fix.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/html-to-xdoc.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/inf-acl2.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/interface-macros.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/key-interface.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/load-inferior-acl2.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/load-shell-acl2.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/mfm-acl2.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/mfm.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/monitor.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/top-start-inferior-acl2.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/top-start-shell-acl2.el
  • /usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot/xdoc.el
  • /usr/share/lintian/overrides/elpa-acl2