Publishing details

Published on 2016-12-16
Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

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


  * Recompile with coq 8.4pl3
  * Bump Standards-Version to 3.9.5 (no changes)
  * Update Vcs-*

 -- Stéphane Glondu <email address hidden>  Mon, 20 Jan 2014 08:22:59 +0100

Available diffs

diff from 0.4-1build1 (in Ubuntu) to 0.4-2 (654 bytes)

Builds

Package files

aac-tactics_0.4-2.debian.tar.xz (2.8 KiB)
aac-tactics_0.4-2.dsc (2.1 KiB)
aac-tactics_0.4.orig.tar.gz (75.5 KiB)