Publishing details

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

Changelog

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

  * certify-books -> regression-fresh
  * debhelper-compat ( = 13 )
  * standards 4.5.0
  * ISO-8859-16 -> UTF-8
  * watch version 4
  * lintian override: rfc2388.txt is not a license file
  * clean books/centaur/vl/kit/test.vlzip books/centaur/getopt/demo2 books/centaur/getopt/demo2-test.ok
  * remove w3 validation in home-page.html

 -- Camm Maguire <email address hidden>  Wed, 27 Jan 2021 14:05:42 +0000

Builds

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

Package files

• acl2_8.3dfsg-2.debian.tar.xz (223.0 KiB)
• acl2_8.3dfsg-2.dsc (2.2 KiB)
• acl2_8.3dfsg.orig.tar.gz (111.8 MiB)