[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/8.1-1.0-4-9-g5504cd2

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 5504cd2963bb83cf5657c4c182364a6c84734023
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Feb 23 15:24:59 2009 +0100

    New Upstream Version

diff --git a/debian/changelog b/debian/changelog
index c4eb4f1..9386783 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,12 +1,16 @@
-coq-float (1:8.1-1.0-5) UNRELEASED; urgency=low
+coq-float (1:8.2-1.2-1) UNRELEASED; urgency=low
 
+  [ Stephane Glondu ]
+  * New Upstream Version
+
+  [ Samuel Mimram ]
   * Switch packaging to git.
   * Enforce strict dependency on coq ABI.
   * Update standards version to 3.8.0.
   * Update compat to 7.
   * Add Homepage field.
 
- -- Samuel Mimram <smimram at debian.org>  Sun, 22 Feb 2009 14:54:47 +0100
+ -- Stephane Glondu <steph at glondu.net>  Mon, 23 Feb 2009 15:24:30 +0100
 
 coq-float (1:8.1-1.0-4) unstable; urgency=low
 

-- 
coq-float packaging