[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2-1+dfsg-2-4-gd43a92c

2009-07-04 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 1769cbaddea77112dd6f336316d8eb9a0945a1e6 Author: Stephane Glondu st...@glondu.net Date: Sat Jul 4 11:58:21 2009 +0200 Keep some file from doc/common/styles/html/simple They are needed for HTML API doc generation.

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2-1+dfsg-2-4-gd43a92c

2009-07-04 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 3a420f4ad929e8372d32c735fd0fd89dfc0346a1 Merge: 1769cbaddea77112dd6f336316d8eb9a0945a1e6 e4282ea99c664d8d58067bee199cbbcf881b60d5 Author: Stephane Glondu st...@glondu.net Date: Sat Jul 4 13:28:38 2009 +0200 Merge commit

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2-1+dfsg-2-4-gd43a92c

2009-07-04 Thread Stephane Glondu
The following commit has been merged in the master branch: commit d43a92cbe2dd9b90393698e98eb96104b14c04fa Author: Stephane Glondu st...@glondu.net Date: Sat Jul 4 12:14:10 2009 +0200 New Upstream Version diff --git a/debian/changelog b/debian/changelog index 11d3c53..9692444 100644 ---