Publishing details

• Removed from disk on 2020-07-10.
• Removal requested on 2020-07-10.
• Published on 2017-04-20
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

acl2 (7.2dfsg-2) unstable; urgency=medium

  * Bug fix: "FTBFS in kfreebsd-amd64", thanks to Andreas Beckmann
    (Closes: #815312).  Reduce GCL_MEM_MULTIPLE setting.
  * Bug fix: "FTBFS in stretch (looks like the same problem in maxima)",
    thanks to Santiago Vila (Closes: #819447).

 -- Camm Maguire <email address hidden>  Tue, 03 May 2016 15:05:07 +0000

Builds

• ppc64el

Package files

• acl2-books-certs_7.2dfsg-2_all.deb (52.3 MiB)
• acl2-books-source_7.2dfsg-2_all.deb (10.7 MiB)
• acl2-books_7.2dfsg-2_amd64.deb (101.6 MiB)
• acl2-books_7.2dfsg-2_arm64.deb (103.7 MiB)
• acl2-books_7.2dfsg-2_armhf.deb (87.4 MiB)
• acl2-books_7.2dfsg-2_i386.deb (88.4 MiB)
• acl2-books_7.2dfsg-2_powerpc.deb (66.3 MiB)
• acl2-books_7.2dfsg-2_s390x.deb (101.7 MiB)
• acl2-doc_7.2dfsg-2_all.deb (366.4 KiB)
• acl2-emacs_7.2dfsg-2_all.deb (56.2 KiB)
• acl2-infix-source_7.2dfsg-2_all.deb (70.6 KiB)
• acl2-infix_7.2dfsg-2_amd64.deb (392.3 KiB)
• acl2-infix_7.2dfsg-2_arm64.deb (405.8 KiB)
• acl2-infix_7.2dfsg-2_armhf.deb (382.5 KiB)
• acl2-infix_7.2dfsg-2_i386.deb (369.1 KiB)
• acl2-infix_7.2dfsg-2_powerpc.deb (356.0 KiB)
• acl2-infix_7.2dfsg-2_s390x.deb (381.3 KiB)
• acl2-source_7.2dfsg-2_all.deb (2.8 MiB)
• acl2_7.2dfsg-2.debian.tar.xz (198.9 KiB)
• acl2_7.2dfsg-2.dsc (2.2 KiB)
• acl2_7.2dfsg-2_amd64.deb (17.0 MiB)
• acl2_7.2dfsg-2_arm64.deb (15.4 MiB)
• acl2_7.2dfsg-2_armhf.deb (14.2 MiB)
• acl2_7.2dfsg-2_i386.deb (15.2 MiB)
• acl2_7.2dfsg-2_powerpc.deb (14.0 MiB)
• acl2_7.2dfsg-2_s390x.deb (16.5 MiB)
• acl2_7.2dfsg.orig.tar.gz (61.4 MiB)