Publishing details

Removed from disk on 2020-12-29.
Removal requested on 2020-12-29.
Published on 2019-04-22
Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

acl2 (8.1dfsg-3) unstable; urgency=medium

  * Bug fix: "excessive build time on 32-bit architectures", thanks to
    Aurelien Jarno (Closes: #926121).

 -- Camm Maguire <email address hidden>  Wed, 03 Apr 2019 13:47:29 +0000

Available diffs

diff from 8.0dfsg-1build1 (in Ubuntu) to 8.1dfsg-3 (6.6 MiB)

Builds

Package files

acl2-books-certs_8.1dfsg-3_all.deb (76.9 MiB)
acl2-books-source_8.1dfsg-3_all.deb (12.9 MiB)
acl2-books_8.1dfsg-3_amd64.deb (155.8 MiB)
acl2-books_8.1dfsg-3_arm64.deb (153.0 MiB)
acl2-books_8.1dfsg-3_armhf.deb (140.9 MiB)
acl2-books_8.1dfsg-3_i386.deb (138.9 MiB)
acl2-books_8.1dfsg-3_ppc64el.deb (156.0 MiB)
acl2-books_8.1dfsg-3_s390x.deb (142.8 MiB)
acl2-doc_8.1dfsg-3_all.deb (396.2 KiB)
acl2-emacs_8.1dfsg-3_all.deb (58.8 KiB)
acl2-infix-source_8.1dfsg-3_all.deb (70.2 KiB)
acl2-infix_8.1dfsg-3_amd64.deb (471.6 KiB)
acl2-infix_8.1dfsg-3_arm64.deb (457.5 KiB)
acl2-infix_8.1dfsg-3_armhf.deb (445.0 KiB)
acl2-infix_8.1dfsg-3_i386.deb (474.8 KiB)
acl2-infix_8.1dfsg-3_ppc64el.deb (486.1 KiB)
acl2-infix_8.1dfsg-3_s390x.deb (429.1 KiB)
acl2-source_8.1dfsg-3_all.deb (3.0 MiB)
acl2_8.1dfsg-3.debian.tar.xz (200.3 KiB)
acl2_8.1dfsg-3.dsc (2.2 KiB)
acl2_8.1dfsg-3_amd64.deb (19.4 MiB)
acl2_8.1dfsg-3_arm64.deb (18.6 MiB)
acl2_8.1dfsg-3_armhf.deb (16.9 MiB)
acl2_8.1dfsg-3_i386.deb (17.9 MiB)
acl2_8.1dfsg-3_ppc64el.deb (19.3 MiB)
acl2_8.1dfsg-3_s390x.deb (18.2 MiB)
acl2_8.1dfsg.orig.tar.gz (75.3 MiB)