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

Stephane Glondu steph at glondu.net
Tue Apr 19 21:14:33 UTC 2011


The following commit has been merged in the master branch:
commit bd9137bfbe4c573f5780e6957248157a9a08dcbe
Merge: c1151c393a3f31303e2611388c99ca2ea66352dc 2204ea29520b9d51efcd7ce9b9bcdac525b8b79d
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Apr 19 23:12:52 2011 +0200

    Merge branch 'sid/master'

diff --combined debian/changelog
index 7728e9f,87778c3..6e03263
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,10 -1,9 +1,16 @@@
- coq-float (1:8.2-1.2-6) unstable; urgency=low
++coq-float (1:8.2-1.2-7) unstable; urgency=low
 +
 +  * Add patch to fix build with Coq 8.3
 +  * Bump Standards-Version to 3.9.1 (no changes)
 +
 + -- Stéphane Glondu <glondu at debian.org>  Tue, 19 Apr 2011 22:30:18 +0200
 +
+ coq-float (1:8.2-1.2-6) unstable; urgency=low
+ 
+   * Rebuild with coq 8.2.pl2+dfsg-2 (no changes)
+ 
+  -- Stéphane Glondu <glondu at debian.org>  Thu, 10 Mar 2011 22:17:35 +0100
+ 
  coq-float (1:8.2-1.2-5) unstable; urgency=low
  
    * Rebuild with Coq 8.2pl2

-- 
coq-float packaging



More information about the Pkg-ocaml-maint-commits mailing list