[ubuntu/focal-proposed] aac-tactics 8.11.0-1 (Accepted)

[Gianfranco Costamagna]

aac-tactics (8.11.0-1) unstable; urgency=medium

  * Team upload
  * New upstream version, compiles with coq 8.11.0 (closes: #953739)
  * debian/rules: on dynlink architectures, build opt before byte
  * debian/*.ocamldoc: add -I /usr/lib/coq/tactics

Date: 2020-03-17 22:28:28.168149+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/aac-tactics/8.11.0-1
-------------- next part --------------
Sorry, changesfile not available.