elpa-acl2 (8.6+dfsg-3build1)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://ports.ubuntu.com
Codename: stonking
Component: universe
Source: acl2
Architecture: armhf
Section: universe/lisp
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 383 B
Size expected: 80.6 kB
Size actual: 80.6 kB
Size match

Dependencies

Required package dependencies

acl2 (>= 8.6+dfsg-3build1)
emacs-gtk | emacsen
dh-elpa-helper
emacsen-common
tex-common (>= 6.13)

Suggested packages

Recommended additional packages

None

Description

Computational Logic for Applicative Common Lisp: emacs interface

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	0a88eb4a…b8442121	0a88eb4a…b8442121
SHA-1	f8e5e93f…c2eaa585	f8e5e93f…c2eaa585
SHA-256	eeb91305…1405fd55	eeb91305…1405fd55
SHA-512	151ff5d6…c10ab67a	151ff5d6…c10ab67a

Files and directories included

.
usr
usr/lib
usr/lib/emacsen-common
usr/lib/emacsen-common/packages
usr/lib/emacsen-common/packages/compat
usr/lib/emacsen-common/packages/compat/elpa-acl2
usr/lib/emacsen-common/packages/install
usr/lib/emacsen-common/packages/install/elpa-acl2
usr/lib/emacsen-common/packages/remove
usr/lib/emacsen-common/packages/remove/elpa-acl2
usr/share
usr/share/doc
usr/share/doc/elpa-acl2
usr/share/doc/elpa-acl2/changelog.Debian.gz
usr/share/doc/elpa-acl2/copyright
usr/share/emacs
usr/share/emacs/site-lisp
usr/share/emacs/site-lisp/elpa-src
usr/share/emacs/site-lisp/elpa-src/acl2-8.6snapshot
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
usr/share/lintian/overrides
usr/share/lintian/overrides/elpa-acl2