Publishing details

• Created on 2020-03-24 by Ubuntu Archive Auto-Sync
• Published on 2020-03-24

Changelog

acl2 (8.2dfsg-3build1) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden>  Mon, 23 Mar 2020 07:09:23 +0100

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-emacs Computational Logic for Applicative Common Lisp: emacs interface

• 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

Package files

• acl2-books-certs_8.2dfsg-3build1_all.deb (65.8 MiB)
• acl2-books-source_8.2dfsg-3build1_all.deb (13.6 MiB)
• acl2-books_8.2dfsg-3build1_amd64.deb (163.4 MiB)
• acl2-books_8.2dfsg-3build1_arm64.deb (161.5 MiB)
• acl2-books_8.2dfsg-3build1_armhf.deb (151.2 MiB)
• acl2-books_8.2dfsg-3build1_ppc64el.deb (169.6 MiB)
• acl2-books_8.2dfsg-3build1_s390x.deb (148.4 MiB)
• acl2-doc_8.2dfsg-3build1_all.deb (418.1 KiB)
• acl2-emacs_8.2dfsg-3build1_all.deb (59.1 KiB)
• acl2-infix-source_8.2dfsg-3build1_all.deb (70.2 KiB)
• acl2-infix_8.2dfsg-3build1_amd64.deb (469.9 KiB)
• acl2-infix_8.2dfsg-3build1_arm64.deb (460.9 KiB)
• acl2-infix_8.2dfsg-3build1_armhf.deb (447.1 KiB)
• acl2-infix_8.2dfsg-3build1_ppc64el.deb (485.6 KiB)
• acl2-infix_8.2dfsg-3build1_s390x.deb (434.6 KiB)
• acl2-source_8.2dfsg-3build1_all.deb (3.1 MiB)
• acl2_8.2dfsg-3build1.debian.tar.xz (201.2 KiB)
• acl2_8.2dfsg-3build1.dsc (2.2 KiB)
• acl2_8.2dfsg-3build1_amd64.deb (20.9 MiB)
• acl2_8.2dfsg-3build1_arm64.deb (19.4 MiB)
• acl2_8.2dfsg-3build1_armhf.deb (17.8 MiB)
• acl2_8.2dfsg-3build1_ppc64el.deb (20.9 MiB)
• acl2_8.2dfsg-3build1_s390x.deb (20.1 MiB)
• acl2_8.2dfsg.orig.tar.gz (76.9 MiB)