-
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
-- Ralf Treinen <email address hidden> Tue, 17 Mar 2020 16:42:09 +0100
-
aac-tactics (8.9.0-1build1) focal; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Thu, 12 Mar 2020 14:54:42 +0100
-
aac-tactics (8.9.0-1) unstable; urgency=medium
* New upstream release
* Update Homepage and debian/watch
* Bump debhelper compat level to 12
* Bump Standards-Version to 4.5.0
* Add Rules-Requires-Root: no
-- Stéphane Glondu <email address hidden> Sun, 02 Feb 2020 15:16:42 +0100
-
aac-tactics (8.8.0+1.gbp069dc3b-1build4) eoan; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Wed, 21 Aug 2019 19:02:25 +0200
