Publishing details

• Created on 2024-04-11 by Ubuntu Archive Auto-Sync
• Published on 2024-04-11

Changelog

acl2 (8.5dfsg-5build3) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

 -- William Grant <email address hidden>  Mon, 01 Apr 2024 16:02:30 +1100

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

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-5build3_all.deb (215.8 MiB)
• acl2-books-source_8.5dfsg-5build3_all.deb (22.7 MiB)
• acl2-books_8.5dfsg-5build3_amd64.deb (330.5 MiB)
• acl2-books_8.5dfsg-5build3_arm64.deb (337.1 MiB)
• acl2-books_8.5dfsg-5build3_armhf.deb (317.6 MiB)
• acl2-books_8.5dfsg-5build3_ppc64el.deb (350.3 MiB)
• acl2-books_8.5dfsg-5build3_riscv64.deb (1.0 GiB)
• acl2-books_8.5dfsg-5build3_s390x.deb (330.7 MiB)
• acl2-doc_8.5dfsg-5build3_all.deb (473.9 KiB)
• acl2-infix-source_8.5dfsg-5build3_all.deb (72.4 KiB)
• acl2-infix_8.5dfsg-5build3_amd64.deb (538.1 KiB)
• acl2-infix_8.5dfsg-5build3_arm64.deb (541.5 KiB)
• acl2-infix_8.5dfsg-5build3_armhf.deb (541.6 KiB)
• acl2-infix_8.5dfsg-5build3_ppc64el.deb (594.4 KiB)
• acl2-infix_8.5dfsg-5build3_riscv64.deb (1.5 MiB)
• acl2-infix_8.5dfsg-5build3_s390x.deb (540.9 KiB)
• acl2-source_8.5dfsg-5build3_all.deb (3.5 MiB)
• acl2_8.5dfsg-5build3.debian.tar.xz (305.7 KiB)
• acl2_8.5dfsg-5build3.dsc (2.3 KiB)
• acl2_8.5dfsg-5build3_amd64.deb (25.6 MiB)
• acl2_8.5dfsg-5build3_arm64.deb (24.2 MiB)
• acl2_8.5dfsg-5build3_armhf.deb (21.4 MiB)
• acl2_8.5dfsg-5build3_ppc64el.deb (26.0 MiB)
• acl2_8.5dfsg-5build3_riscv64.deb (25.1 MiB)
• acl2_8.5dfsg-5build3_s390x.deb (27.2 MiB)
• acl2_8.5dfsg.orig.tar.gz (213.2 MiB)
• elpa-acl2_8.5dfsg-5build3_all.deb (70.7 KiB)