diff options
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 134 |
1 files changed, 134 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog new file mode 100644 index 0000000..b3f58e8 --- /dev/null +++ b/debian/changelog @@ -0,0 +1,134 @@ +aac-tactics (8.6.1-2) unstable; urgency=medium + + * Recompile with OCaml 4.05.0 + + -- Stéphane Glondu <glondu@debian.org> 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 <gareuselesinge@debian.org> 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 <nicolas@braud-santoni.eu> 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 <glondu@debian.org> 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 <glondu@debian.org> Mon, 10 Aug 2015 21:16:02 +0200 + +aac-tactics (0.4-3) unstable; urgency=medium + + * Recompile with coq 8.4pl4 + + -- Stéphane Glondu <glondu@debian.org> 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 <glondu@debian.org> Mon, 20 Jan 2014 08:22:59 +0100 + +aac-tactics (0.4-1) unstable; urgency=low + + * New upstream release + + -- Stéphane Glondu <glondu@debian.org> 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 <glondu@debian.org> Thu, 09 May 2013 13:26:38 +0200 + +aac-tactics (0.3-2) experimental; urgency=low + + * Fix FTBFS without natdynlink + * This version requires the bugfix introduced in coq 8.4dfsg-2 + + -- Stéphane Glondu <glondu@debian.org> Sat, 22 Sep 2012 16:08:20 +0200 + +aac-tactics (0.3-1) experimental; urgency=low + + * New upstream release + + -- Stéphane Glondu <glondu@debian.org> Fri, 21 Sep 2012 19:19:27 +0200 + +aac-tactics (0.2.pl2-7) unstable; urgency=low + + * Recompile with camlp5 6.06 (no changes) + + -- Stéphane Glondu <glondu@debian.org> 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 <glondu@debian.org> 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 <glondu@debian.org> 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 <glondu@debian.org> 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 <glondu@debian.org> Thu, 03 Nov 2011 06:41:57 +0100 + +aac-tactics (0.2.pl2-2) unstable; urgency=low + + * Upload to unstable + + -- Stéphane Glondu <glondu@debian.org> Sun, 01 May 2011 19:22:52 +0200 + +aac-tactics (0.2.pl2-1) experimental; urgency=low + + * New upstream release + - remove patch (applied upstream) + + -- Stéphane Glondu <glondu@debian.org> Mon, 28 Feb 2011 07:46:14 +0100 + +aac-tactics (0.1-r13244-1) experimental; urgency=low + + * Initial release (Closes: #605487) + + -- Stéphane Glondu <glondu@debian.org> Tue, 30 Nov 2010 16:24:53 +0100 |