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

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit bd9137bfbe4c573f5780e6957248157a9a08dcbe Merge: c1151c393a3f31303e2611388c99ca2ea66352dc 2204ea29520b9d51efcd7ce9b9bcdac525b8b79d Author: Stephane Glondu Date: Tue Apr 19 23:12:52 2011 +0200 Merge branch 'sid/master' diff -

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

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit c1151c393a3f31303e2611388c99ca2ea66352dc Author: Stephane Glondu Date: Tue Apr 19 22:30:24 2011 +0200 Update changelog and prepare upload to unstable diff --git a/debian/changelog b/debian/changelog index ed24107..7728e9f 10

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

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 2204ea29520b9d51efcd7ce9b9bcdac525b8b79d Author: Stephane Glondu Date: Thu Mar 10 22:17:56 2011 +0100 Rebuild with new coq (no changes) diff --git a/debian/changelog b/debian/changelog index 6b46f95..87778c3 100644 --- a/deb

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

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 42003df9297f97d119bb98b11052192adebf5fed Author: Stephane Glondu Date: Fri Feb 11 18:25:09 2011 +0100 Ignore .pc when scanning for .v files... diff --git a/debian/rules b/debian/rules index ea9f1e8..debe960 100755 --- a/debi