Publishing details

• Published on 2015-04-02
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

aac-tactics (0.4-3) unstable; urgency=medium


  * Recompile with coq 8.4pl4

 -- Stéphane Glondu <email address hidden>  Wed, 30 Jul 2014 11:00:52 +0200

Builds

• amd64
• arm64
• armhf
• i386
• powerpc
• ppc64el

Package files

• aac-tactics_0.4-3.debian.tar.xz (2.9 KiB)
• aac-tactics_0.4-3.dsc (2.2 KiB)
• aac-tactics_0.4.orig.tar.gz (75.5 KiB)