-
aac-tactics (8.19.0-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <email address hidden> Sat, 24 Feb 2024 09:51:21 +0100
-
aac-tactics (8.18.0-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <email address hidden> Thu, 21 Dec 2023 15:20:11 +0100
-
aac-tactics (8.17.0-3) unstable; urgency=medium
* Depend on ocaml instead of transitional ocaml-nox
-- Stéphane Glondu <email address hidden> Tue, 12 Sep 2023 07:51:26 +0200
-
aac-tactics (8.17.0-2) unstable; urgency=medium
* Add lintian overrides for false issues.
* Bump Coq version depend.
-- Julien Puydt <email address hidden> Mon, 12 Jun 2023 19:27:20 +0200
-
aac-tactics (8.17.0-1) unstable; urgency=medium
* Fix links in the doc base system.
* Bump standards-version to 4.6.2.
* New upstream release.
-- Julien Puydt <email address hidden> Tue, 03 Jan 2023 14:33:38 +0100
-
aac-tactics (8.16.0-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <email address hidden> Mon, 22 Aug 2022 16:35:51 +0200
-
aac-tactics (8.15.1-6) unstable; urgency=medium
* Install the documentation in the right directory.
* Use dh-coq.
-- Julien Puydt <email address hidden> Sat, 11 Jun 2022 22:34:44 +0200
-
aac-tactics (8.15.1-5) unstable; urgency=medium
* Bump standards-version to 4.6.1.
* Add myself to uploaders.
-- Julien Puydt <email address hidden> Wed, 01 Jun 2022 15:01:51 +0200
-
aac-tactics (8.15.1-4) unstable; urgency=medium
* Re-upload to fix ABI breakage.
-- Julien Puydt <email address hidden> Sun, 22 May 2022 19:23:17 +0200
-
aac-tactics (8.15.1-3) unstable; urgency=medium
* Change the libcoq package to Architecture: any.
-- Julien Puydt <email address hidden> Sun, 17 Apr 2022 13:55:57 +0200
-
aac-tactics (8.15.1-2) unstable; urgency=medium
* Source-only upload for testing migration.
-- Julien Puydt <email address hidden> Wed, 13 Apr 2022 09:07:48 +0200
-
aac-tactics (8.15.1-1) unstable; urgency=medium
* Team upload.
* New upstream release.
* Rename the libaac-tactics-coq binary package
to libcoq-aac-tactics to follow the rest of the
ecosystem in Debian.
-- Julien Puydt <email address hidden> Sun, 03 Apr 2022 21:57:56 +0200
-
aac-tactics (8.15.0-1) unstable; urgency=medium
* Team upload.
* Fix d/watch.
* New upstream release.
* Adapt to new coq library layout (closes: #970454).
* Bump dh-compat to level 13.
* Bump standards-version to 4.6.0.
-- Julien Puydt <email address hidden> Sun, 06 Feb 2022 13:55:39 +0100
-
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-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-1) unstable; urgency=medium
** SNAPSHOT build @069dc3bd125ca18f5712759d54edcf9addb4cdd4 **
* Team upload
* New upstream release
* Build an unreleased snapshot to support Coq 8.9 (Closes: 919463)
-- Benjamin Barenblat <email address hidden> Sun, 17 Feb 2019 20:29:23 -0500
-
aac-tactics (8.6.1-2) unstable; urgency=medium
* Recompile with OCaml 4.05.0
-- Stéphane Glondu <email address hidden> Mon, 09 Oct 2017 10:33:39 +0200
-
aac-tactics (8.6.1-1) unstable; urgency=medium
* Team upload
* New upstream release
* Remove patch 001-fix-typos, applied upstream
-- Enrico Tassi <email address hidden> Tue, 27 Dec 2016 16:06:51 +0000
-
aac-tactics (8.5.1-1) unstable; urgency=medium
* Team upload
* Imported Upstream version 8.5.1 (Closes: #813459)
* Use HTTPS for Vcs-* links
* New upstream URL & watch file
* Install .v files
* Fix installed docs
* Fix typos
* Bump Standards-Version to 3.9.8.
No change required
-- Nicolas Braud-Santoni <email address hidden> Sat, 23 Jul 2016 16:44:48 -0400
-
aac-tactics (0.4-5) unstable; urgency=medium
* Recompile with OCaml 4.02.3
-- Stéphane Glondu <email address hidden> Wed, 14 Oct 2015 11:44:20 +0200
-
aac-tactics (0.4-4) unstable; urgency=medium
* Fix Homepage URL
* Drop debian/watch
* Bump Standards-Version to 3.9.6
* Bump debhelper compat level to 9
-- Stéphane Glondu <email address hidden> Mon, 10 Aug 2015 21:16:02 +0200
-
aac-tactics (0.4-3) unstable; urgency=medium
* Recompile with coq 8.4pl4
-- Stéphane Glondu <email address hidden> Wed, 30 Jul 2014 11:00:52 +0200
-
aac-tactics (0.4-2) unstable; urgency=medium
* Recompile with coq 8.4pl3
* Bump Standards-Version to 3.9.5 (no changes)
* Update Vcs-*
-- Stéphane Glondu <email address hidden> Mon, 20 Jan 2014 08:22:59 +0100
-
aac-tactics (0.4-1) unstable; urgency=low
* New upstream release
-- Stéphane Glondu <email address hidden> Thu, 05 Dec 2013 07:56:39 +0100
-
aac-tactics (0.3.pl1-1) unstable; urgency=low
* New upstream release
* Use format version 1.0 in debian/copyright
* Bump Standards-Version to 3.9.4
* Upload to unstable
-- Stéphane Glondu <email address hidden> Thu, 09 May 2013 13:26:38 +0200
-
aac-tactics (0.2.pl2-7) unstable; urgency=low
* Recompile with camlp5 6.06 (no changes)
-- Stéphane Glondu <email address hidden> Sat, 09 Jun 2012 10:31:21 +0200
-
aac-tactics (0.2.pl2-6) unstable; urgency=medium
* Recompile with camlp5 6.05 and coq 8.3pl4 (no changes)
-- Stéphane Glondu <email address hidden> Sun, 01 Apr 2012 17:19:08 +0200
-
aac-tactics (0.2.pl2-5) unstable; urgency=low
* Recompile with camlp5 6.04 (no changes)
-- Stéphane Glondu <email address hidden> Mon, 05 Mar 2012 21:51:05 +0100
-
aac-tactics (0.2.pl2-4) unstable; urgency=low
* Rebuild with Coq 8.3pl3 (no source changes)
-- Stéphane Glondu <email address hidden> Sun, 25 Dec 2011 16:54:20 +0100
-
aac-tactics (0.2.pl2-3) unstable; urgency=low
* Recompile with OCaml 3.12.1 (no changes)
* Bump Standards-Version to 3.9.2 (no changes)
-- Stéphane Glondu <email address hidden> Thu, 03 Nov 2011 06:41:57 +0100
-
aac-tactics (0.2.pl2-2) unstable; urgency=low
* Upload to unstable -- Stéphane Glondu <email address hidden> Sun, 01 May 2011 19:22:52 +0200