Publishing details

• Published on 2022-09-14
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

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

  * New upstream release
  * Bug fix: "Please remove dependency on install-info", thanks to Hilmar
    Preusse (Closes: #1013453).

 -- Camm Maguire <email address hidden>  Wed, 27 Jul 2022 09:42:51 -0400

Builds

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

Package files

• acl2_8.5dfsg-1.debian.tar.xz (305.0 KiB)
• acl2_8.5dfsg-1.dsc (2.2 KiB)
• acl2_8.5dfsg.orig.tar.gz (213.2 MiB)