Publishing details

Changelog

aac-tactics (8.6.1-1build3) artful; urgency=high

  * No change rebuild against coq abi change.

 -- Dimitri John Ledkov <email address hidden>  Sun, 16 Jul 2017 23:46:40 +0100

Available diffs

Builds

Package files