Debian NEW package overview for acl2
acl2_8.3dfsg-3_amd64.changes (click to toggle)
Format:1.8
Date:Wed, 03 Feb 2021 18:36:07 +0000
Source:acl2
Binary:acl2 acl2-books acl2-books-certs acl2-books-source acl2-doc acl2-infix acl2-infix-source acl2-source elpa-acl2
Architecture:source all amd64
Version:8.3dfsg-3
Distribution:unstable
Urgency:medium
Maintainer:Camm Maguire <camm@debian.org>
Changed-By:Camm Maguire <camm@debian.org>
Description:
acl2       - Computational Logic for Applicative Common Lisp: main binary
acl2-books - Computational Logic for Applicative Common Lisp: compiled librari
acl2-books-certs - Computational Logic for Applicative Common Lisp: library certific
acl2-books-source - Computational Logic for Applicative Common Lisp: library sources
acl2-doc   - Computational Logic for Applicative Common Lisp: documentation
acl2-infix - Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source - Computational Logic for Applicative Common Lisp: infix source
acl2-source - Computational Logic for Applicative Common Lisp: source files
elpa-acl2  - Computational Logic for Applicative Common Lisp: emacs interface
Changes:
acl2 (8.3dfsg-3) unstable; urgency=medium

  * clean build-depends
  * lintian cleanups
  * acl2-emacs -> elpa-acl2
Files:
d25c056b0b53ae5ca0d5093767799729 2281 math optional acl2_8.3dfsg-3.dsc
a6edc4ae413c72119717e63a3d7a2e82 262612 math optional acl2_8.3dfsg-3.debian.tar.xz
824b4b4156ad2f51361a0066f1c8b2cd 145270148 math optional acl2-books-certs_8.3dfsg-3_all.deb
b877f58decb42a4ae31c37851ae77cfc 19536952 math optional acl2-books-source_8.3dfsg-3_all.deb
d6bd87a45d2f02db8fd700bf167f5547 252810824 math optional acl2-books_8.3dfsg-3_amd64.deb
03c34871d1faace3d74f4a9260312663 447656 doc optional acl2-doc_8.3dfsg-3_all.deb
a44185d757290e9143effc659750c225 79920 math optional acl2-infix-source_8.3dfsg-3_all.deb
7125e0ae754dddcb38dc218b8b1d8646 491392 math optional acl2-infix_8.3dfsg-3_amd64.deb
a9f16057c4b2c69b0710c9ca116ad4ef 3340444 math optional acl2-source_8.3dfsg-3_all.deb
b4582e05fe6c94781526e8c65a994914 12170 math optional acl2_8.3dfsg-3_amd64.buildinfo
129d8b5846343d17994bf66789ce7f44 21401472 math optional acl2_8.3dfsg-3_amd64.deb
37bd0ef8a33b57f42bd54bfae4be5e16 76552 lisp optional elpa-acl2_8.3dfsg-3_all.deb
control file for elpa-acl2_8.3dfsg-3_all.deb (click to toggle)
Package:elpa-acl2
Source:acl2
Version:8.3dfsg-3
Architecture:all
Maintainer:Camm Maguire <camm@debian.org>
Installed-Size:349
Depends:acl2 (>=8.3dfsg-3), emacs-gtk | emacsen, dh-elpa-helper, emacsen-common, tex-common (>=6.13)
Breaks:acl2 (<= 2.7-9)
Replaces:acl2 (<= 2.7-9)
Section:lisp
Priority:optional
Homepage:https://www.cs.utexas.edu/users/moore/acl2/
Description:
Computational Logic for Applicative Common Lisp: emacs interface
 ACL2 is both a programming language in which you can model computer
 systems and a tool to help you prove properties of those models.
 .
 This package contains an emacs interface to ACL2.
lintian 2.94.0~bpo10+1 check for elpa-acl2_8.3dfsg-3_all.deb (click to toggle)
contents of elpa-acl2_8.3dfsg-3_all.deb (click to toggle)
drwxr-xr-x root/root         0 2021-02-03 18:36 ./
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/lib/
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/lib/emacsen-common/
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/lib/emacsen-common/packages/
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/lib/emacsen-common/packages/compat/
-rw-r--r-- root/root         2 2021-02-03 18:36 ./usr/lib/emacsen-common/packages/compat/elpa-acl2
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/lib/emacsen-common/packages/install/
-rwxr-xr-x root/root       130 2021-02-03 18:36 ./usr/lib/emacsen-common/packages/install/elpa-acl2
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/lib/emacsen-common/packages/remove/
-rwxr-xr-x root/root       128 2021-02-03 18:36 ./usr/lib/emacsen-common/packages/remove/elpa-acl2
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/share/
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/share/doc/
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/share/doc/elpa-acl2/
-rw-r--r-- root/root      8776 2021-02-03 18:36 ./usr/share/doc/elpa-acl2/changelog.Debian.gz
-rw-r--r-- root/root     11924 2021-02-03 18:36 ./usr/share/doc/elpa-acl2/copyright
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/share/emacs/
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/share/emacs/site-lisp/
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/
-rw-r--r-- root/root      9487 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/acl2-autoloads.el
-rw-r--r-- root/root      2552 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/acl2-doc-open-url.el
-rw-r--r-- root/root     57711 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/acl2-doc.el
-rw-r--r-- root/root     15952 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/acl2-interface-functions.el
-rw-r--r-- root/root     17885 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/acl2-interface.el
-rw-r--r-- root/root      4872 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/acl2-mode.el
-rw-r--r-- root/root       108 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/acl2-pkg.el
-rw-r--r-- root/root      9476 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/acl2.el
-rw-r--r-- root/root       302 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/debian-autoloads.el
-rw-r--r-- root/root     46626 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/emacs-acl2.el
-rw-r--r-- root/root      8543 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/fancy-string-syntax.el
-rw-r--r-- root/root     20590 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/fix.el
-rw-r--r-- root/root     24977 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/inf-acl2.el
-rw-r--r-- root/root     24403 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/interface-macros.el
-rw-r--r-- root/root      3643 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/key-interface.el
-rw-r--r-- root/root       749 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/load-inferior-acl2.el
-rw-r--r-- root/root       830 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/load-shell-acl2.el
-rw-r--r-- root/root     25560 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/mfm-acl2.el
-rw-r--r-- root/root     12710 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/mfm.el
-rw-r--r-- root/root      7993 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/monitor.el
-rw-r--r-- root/root       413 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/top-start-inferior-acl2.el
-rw-r--r-- root/root       210 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/top-start-shell-acl2.el
-rw-r--r-- root/root      2159 2021-02-03 18:36 ./usr/share/emacs/site-lisp/elpa-src/acl2-8.3/xdoc.el
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/share/lintian/
drwxr-xr-x root/root         0 2021-02-03 18:36 ./usr/share/lintian/overrides/
-rw-r--r-- root/root       192 2021-02-03 18:36 ./usr/share/lintian/overrides/elpa-acl2

Timestamp: 10.02.2021 / 15:00:54 (UTC)