-
aac-tactics (8.11.0-1build4) groovy; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Wed, 16 Sep 2020 11:25:54 +0200
-
aac-tactics (8.11.0-1build3) groovy; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Sun, 23 Aug 2020 13:24:46 +0200
-
aac-tactics (8.11.0-1build2) groovy; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Tue, 11 Aug 2020 10:09:37 +0200
-
aac-tactics (8.11.0-1build1) groovy; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Wed, 13 May 2020 13:47:09 +0200
-
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