[ubuntu/artful-proposed] aac-tactics 8.6.1-1build3 (Accepted)

[Dimitri John Ledkov]

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

  * No change rebuild against coq abi change.

Date: 2017-07-16 22:47:21.524182+00:00
Changed-By: Dimitri John Ledkov <launchpad at surgut.co.uk>
https://launchpad.net/ubuntu/+source/aac-tactics/8.6.1-1build3
-------------- next part --------------
Sorry, changesfile not available.