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

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 128255cb7cfdb461abb255e0b41cea369a09ff87
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Mar 11 17:01:56 2009 +0100

    Update changelog and prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index c37f11e..6ff15c5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,9 +1,4 @@
-coq-float (1:8.2-1.2-1) UNRELEASED; urgency=low
-
-  [ Stephane Glondu ]
-  * New Upstream Version
-  * Use debhelper 7
-  * Add a build cache (for Debian debugging)
+coq-float (1:8.2-1.2-1) unstable; urgency=low
 
   [ Samuel Mimram ]
   * Switch packaging to git.
@@ -11,7 +6,16 @@ coq-float (1:8.2-1.2-1) UNRELEASED; urgency=low
   * Update standards version to 3.8.0.
   * Add Homepage field.
 
- -- Stephane Glondu <steph at glondu.net>  Mon, 23 Feb 2009 16:52:25 +0100
+  [ Stephane Glondu ]
+  * New Upstream Version
+  * Use debhelper 7
+  * Add a build cache (for Debian debugging)
+  * Set Maintainer to d-o-m, add Samuel and myself to Uploaders
+  * Add DM-Upload-Allowed
+  * Switch copyright to machine-parsable format
+  * Add a more detailed long description for libfloat-coq
+
+ -- Stephane Glondu <steph at glondu.net>  Wed, 11 Mar 2009 17:13:21 +0100
 
 coq-float (1:8.1-1.0-4) unstable; urgency=low
 

-- 
coq-float packaging