Publishing details

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

Changelog

aac-tactics (8.15.1-6) unstable; urgency=medium

  * Install the documentation in the right directory.
  * Use dh-coq.

 -- Julien Puydt <email address hidden>  Sat, 11 Jun 2022 22:34:44 +0200

Builds

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

Package files

• aac-tactics_8.15.1-6.debian.tar.xz (3.7 KiB)
• aac-tactics_8.15.1-6.dsc (2.2 KiB)
• aac-tactics_8.15.1.orig.tar.gz (66.7 KiB)