[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.4dfsg-2-7-g1c212c7

2012-12-29 Thread Stephane Glondu
The following commit has been merged in the experimental/master branch: commit eddfbb4299e1707e7b0e2347a089fde045ed0e24 Author: Stephane Glondu st...@glondu.net Date: Sat Dec 29 10:58:57 2012 +0100 New upstream release diff --git a/debian/changelog b/debian/changelog index 8ef512b..f1a6b5c

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.4dfsg-2-7-g1c212c7

2012-12-29 Thread Stephane Glondu
The following commit has been merged in the experimental/master branch: commit 310693f95754bff6577f0ab933e00190f9b4083b Author: Stephane Glondu st...@glondu.net Date: Sat Dec 29 10:59:02 2012 +0100 Refresh patches diff --git

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.4dfsg-2-7-g1c212c7

2012-12-29 Thread Stephane Glondu
The following commit has been merged in the experimental/master branch: commit 1c212c7027effb41a8831acdc0c4277ab8c80d26 Author: Stephane Glondu st...@glondu.net Date: Sat Dec 29 11:02:57 2012 +0100 Update changelog and prepare upload to experimental diff --git a/debian/changelog

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.4dfsg-2-7-g1c212c7

2012-12-29 Thread Stephane Glondu
The following commit has been merged in the experimental/master branch: commit e16a62685a044b4754d9075512d2852d0dd7c1d2 Author: Stephane Glondu st...@glondu.net Date: Sat Dec 29 15:55:53 2012 +0100 Add ocaml-findlib to Build-Depends... ...so that detection of lablgtk2 works diff

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.4dfsg-2-7-g1c212c7

2012-12-29 Thread Stephane Glondu
The following commit has been merged in the experimental/master branch: commit 357d49cfb956380788efbf6d080ab00e678d29f7 Merge: eabf57d06ca1eafa762d7f31262e5515401eff55 bf12eb93f3f6a6a824a10878878fadd59745aae0 Author: Stephane Glondu st...@glondu.net Date: Sat Dec 29 10:57:45 2012 +0100

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.4dfsg-2-7-g1c212c7

2012-12-29 Thread Stephane Glondu
The following commit has been merged in the experimental/master branch: commit 82f618cde74011104f2d369c2aa28d47deb08fb3 Author: Stephane Glondu st...@glondu.net Date: Sat Dec 29 11:30:23 2012 +0100 Update ABI diff --git a/debian/rules b/debian/rules index ad53d1f..29dfdc5 100755 ---