The following commit has been merged in the master branch:
commit bd9137bfbe4c573f5780e6957248157a9a08dcbe
Merge: c1151c393a3f31303e2611388c99ca2ea66352dc 
2204ea29520b9d51efcd7ce9b9bcdac525b8b79d
Author: Stephane Glondu <st...@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 <glo...@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 <glo...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to