Publishing details

• Published on 2017-12-22
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

acl2 (7.4dfsg-3.1) unstable; urgency=medium

  * Non-maintainer upload.
  * Bump {build-,}deps emacs24 -> emacs25 (Closes: #870663).

 -- Sean Whitton <email address hidden>  Thu, 03 Aug 2017 17:27:43 -0400

Builds

• amd64
• arm64
• armhf
• i386
• ppc64el
• s390x

Package files

• acl2_7.4dfsg-3.1.debian.tar.xz (199.9 KiB)
• acl2_7.4dfsg-3.1.dsc (2.3 KiB)
• acl2_7.4dfsg.orig.tar.gz (62.2 MiB)