From 4cb0bf1ddbaef98bdf93c2088972b7a8f94d0b2a Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sun, 1 Apr 2012 17:19:13 +0200 Subject: Recompile with camlp5 6.05 and coq 8.3pl4 (no changes) --- debian/changelog | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/debian/changelog b/debian/changelog index 5ee2b5a..7205d6e 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +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) -- cgit v1.2.3