[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/8.2-1.2-2-1-gb1f9cb0

[Stephane Glondu]

The following commit has been merged in the master branch:
commit b1f9cb06d2dbc984114627ae33ad87f5dbaf30da
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jul 4 14:07:17 2009 +0200

    Rebuild with Coq 8.2pl1

diff --git a/debian/changelog b/debian/changelog
index b13ff37..c54a8ce 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq-float (1:8.2-1.2-3) unstable; urgency=low
+
+  * Rebuild with Coq 8.2pl1
+
+ -- Stephane Glondu <steph at glondu.net>  Sat, 04 Jul 2009 14:06:56 +0200
+
 coq-float (1:8.2-1.2-2) unstable; urgency=low
 
   * Recompile with OCaml 3.11.1 ABI

-- 
coq-float packaging