[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.4pl1dfsg-1-18-g7a1180e

2013-05-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 5f7828e08f3583244ce7f1aa06af76caae69eb27 Author: Stephane Glondu st...@glondu.net Date: Wed May 8 17:47:31 2013 +0200 New upstream release diff --git a/debian/changelog b/debian/changelog index 890aff0..7e91a3d 100644 ---

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.4pl1dfsg-1-18-g7a1180e

2013-05-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 0b14713e3efd7f8f1cc8a06555d0ec8fbe496130 Author: Stephane Glondu st...@glondu.net Date: Wed May 8 17:49:57 2013 +0200 Update ABI diff --git a/debian/rules b/debian/rules index 29dfdc5..4a033c8 100755 --- a/debian/rules +++

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.4pl1dfsg-1-18-g7a1180e

2013-05-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 095eac936751bab72e3c6bbdfa3ede51f7198721 Merge: 4e6d6dab2ef2de6c1ad7972fc981e55a4fde7ae3 0b14713e3efd7f8f1cc8a06555d0ec8fbe496130 Author: Stephane Glondu st...@glondu.net Date: Wed May 8 18:01:07 2013 +0200 Merge branch

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.4pl1dfsg-1-18-g7a1180e

2013-05-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 7a1180e02623fde86faf0dc0587641473b089db5 Merge: 095eac936751bab72e3c6bbdfa3ede51f7198721 db38bb4ad9aff74576d3b7f00028d48f0447d5bd Author: Stephane Glondu st...@glondu.net Date: Wed May 8 18:05:00 2013 +0200 Merge branch

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.4pl1dfsg-1-18-g7a1180e

2013-05-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 0c6687c12b628881d5660d57707f0e7ca9e521b7 Author: Stephane Glondu st...@glondu.net Date: Wed May 8 17:45:24 2013 +0200 New debian/watch file by Bart Martens diff --git a/debian/watch b/debian/watch index 07bcf5f..5d9c70d

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.4pl1dfsg-1-18-g7a1180e

2013-05-08 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 813d651c75cb954677a483b60d880600b421e011 Merge: 0c6687c12b628881d5660d57707f0e7ca9e521b7 499a11a45b5711d4eaabe84a80f0ad3ae539d500 Author: Stephane Glondu st...@glondu.net Date: Wed May 8 17:47:16 2013 +0200 Merge tag