Publishing details

• Published on 2021-12-26
• Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
• Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux

Changelog

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

  * append make.log to build output

 -- Camm Maguire <email address hidden>  Fri, 29 Oct 2021 14:06:33 +0000

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.4dfsg-2_all.deb (221.1 MiB)
• acl2-books-source_8.4dfsg-2_all.deb (21.1 MiB)
• acl2-books_8.4dfsg-2_amd64.deb (337.6 MiB)
• acl2-books_8.4dfsg-2_arm64.deb (334.8 MiB)
• acl2-books_8.4dfsg-2_armhf.deb (320.6 MiB)
• acl2-books_8.4dfsg-2_ppc64el.deb (352.3 MiB)
• acl2-books_8.4dfsg-2_s390x.deb (325.5 MiB)
• acl2-doc_8.4dfsg-2_all.deb (441.1 KiB)
• acl2-infix-source_8.4dfsg-2_all.deb (72.0 KiB)
• acl2-infix_8.4dfsg-2_amd64.deb (550.8 KiB)
• acl2-infix_8.4dfsg-2_arm64.deb (559.2 KiB)
• acl2-infix_8.4dfsg-2_armhf.deb (551.4 KiB)
• acl2-infix_8.4dfsg-2_ppc64el.deb (604.1 KiB)
• acl2-infix_8.4dfsg-2_s390x.deb (553.9 KiB)
• acl2-source_8.4dfsg-2_all.deb (3.4 MiB)
• acl2_8.4dfsg-2.debian.tar.xz (304.3 KiB)
• acl2_8.4dfsg-2.dsc (2.2 KiB)
• acl2_8.4dfsg-2_amd64.deb (24.9 MiB)
• acl2_8.4dfsg-2_arm64.deb (23.9 MiB)
• acl2_8.4dfsg-2_armhf.deb (21.3 MiB)
• acl2_8.4dfsg-2_ppc64el.deb (25.2 MiB)
• acl2_8.4dfsg-2_s390x.deb (24.8 MiB)
• acl2_8.4dfsg.orig.tar.gz (193.6 MiB)
• elpa-acl2_8.4dfsg-2_all.deb (69.1 KiB)