aac-tactics (0.4-3) unstable; urgency=medium * Recompile with coq 8.4pl4 -- Stéphane Glondu 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 Mon, 20 Jan 2014 08:22:59 +0100 aac-tactics (0.4-1) unstable; urgency=low * New upstream release -- Stéphane Glondu 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 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 Sat, 22 Sep 2012 16:08:20 +0200 aac-tactics (0.3-1) experimental; urgency=low * New upstream release -- Stéphane Glondu 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 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 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 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 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 Thu, 03 Nov 2011 06:41:57 +0100 aac-tactics (0.2.pl2-2) unstable; urgency=low * Upload to unstable -- Stéphane Glondu 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 Mon, 28 Feb 2011 07:46:14 +0100 aac-tactics (0.1-r13244-1) experimental; urgency=low * Initial release (Closes: #605487) -- Stéphane Glondu Tue, 30 Nov 2010 16:24:53 +0100