Removed from disk on 2022-07-23.
Removal requested on 2021-12-22.
Published on 2020-08-24
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

acl2 (8.3dfsg-1) unstable; urgency=medium

  * New upstream release

 -- Camm Maguire <email address hidden>  Sat, 22 Aug 2020 14:29:22 +0000

acl2-books-certs_8.3dfsg-1_all.deb (5.7 KiB)
acl2-books-source_8.3dfsg-1_all.deb (18.6 MiB)
acl2-books_8.3dfsg-1_amd64.deb (4.2 KiB)
acl2-books_8.3dfsg-1_arm64.deb (4.2 KiB)
acl2-books_8.3dfsg-1_armhf.deb (4.2 KiB)
acl2-books_8.3dfsg-1_ppc64el.deb (4.2 KiB)
acl2-books_8.3dfsg-1_s390x.deb (4.2 KiB)
acl2-doc_8.3dfsg-1_all.deb (429.4 KiB)
acl2-emacs_8.3dfsg-1_all.deb (60.0 KiB)
acl2-infix-source_8.3dfsg-1_all.deb (70.2 KiB)
acl2-infix_8.3dfsg-1_amd64.deb (472.2 KiB)
acl2-infix_8.3dfsg-1_arm64.deb (461.3 KiB)
acl2-infix_8.3dfsg-1_armhf.deb (436.0 KiB)
acl2-infix_8.3dfsg-1_ppc64el.deb (488.9 KiB)
acl2-infix_8.3dfsg-1_s390x.deb (433.6 KiB)
acl2-source_8.3dfsg-1_all.deb (3.2 MiB)
acl2_8.3dfsg-1.debian.tar.xz (201.2 KiB)
acl2_8.3dfsg-1.dsc (2.2 KiB)
acl2_8.3dfsg-1_amd64.deb (20.3 MiB)
acl2_8.3dfsg-1_arm64.deb (18.6 MiB)
acl2_8.3dfsg-1_armhf.deb (17.4 MiB)
acl2_8.3dfsg-1_ppc64el.deb (20.8 MiB)
acl2_8.3dfsg-1_s390x.deb (19.7 MiB)
acl2_8.3dfsg.orig.tar.gz (111.8 MiB)