Publishing details

• Published on 2023-04-25
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

acl2 (8.5dfsg-5) unstable; urgency=medium

  * relieve memory pressure in build via GCL_MEM_MULTIPLE=0.1

 -- Camm Maguire <email address hidden>  Sun, 15 Jan 2023 20:02:50 -0500

Builds

Built packages

• acl2 Computational Logic for Applicative Common Lisp: main binary

• acl2-books Computational Logic for Applicative Common Lisp: compiled libraries

• acl2-books-certs Computational Logic for Applicative Common Lisp: library certificates

• 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

Package files

• acl2-books-certs_8.5dfsg-5_all.deb (216.2 MiB)
• acl2-books-source_8.5dfsg-5_all.deb (22.9 MiB)
• acl2-books_8.5dfsg-5_amd64.deb (329.3 MiB)
• acl2-books_8.5dfsg-5_arm64.deb (335.8 MiB)
• acl2-books_8.5dfsg-5_armhf.deb (315.5 MiB)
• acl2-books_8.5dfsg-5_ppc64el.deb (346.7 MiB)
• acl2-books_8.5dfsg-5_riscv64.deb (935.3 MiB)
• acl2-books_8.5dfsg-5_s390x.deb (313.6 MiB)
• acl2-doc_8.5dfsg-5_all.deb (473.4 KiB)
• acl2-infix-source_8.5dfsg-5_all.deb (71.9 KiB)
• acl2-infix_8.5dfsg-5_amd64.deb (532.7 KiB)
• acl2-infix_8.5dfsg-5_arm64.deb (539.5 KiB)
• acl2-infix_8.5dfsg-5_armhf.deb (540.9 KiB)
• acl2-infix_8.5dfsg-5_ppc64el.deb (577.3 KiB)
• acl2-infix_8.5dfsg-5_riscv64.deb (1.3 MiB)
• acl2-infix_8.5dfsg-5_s390x.deb (501.6 KiB)
• acl2-source_8.5dfsg-5_all.deb (3.5 MiB)
• acl2_8.5dfsg-5.debian.tar.xz (305.6 KiB)
• acl2_8.5dfsg-5.dsc (2.2 KiB)
• acl2_8.5dfsg-5_amd64.deb (25.7 MiB)
• acl2_8.5dfsg-5_arm64.deb (24.5 MiB)
• acl2_8.5dfsg-5_armhf.deb (22.1 MiB)
• acl2_8.5dfsg-5_ppc64el.deb (25.7 MiB)
• acl2_8.5dfsg-5_riscv64.deb (23.6 MiB)
• acl2_8.5dfsg-5_s390x.deb (25.3 MiB)
• acl2_8.5dfsg.orig.tar.gz (213.2 MiB)
• elpa-acl2_8.5dfsg-5_all.deb (70.3 KiB)