[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. upstream/1.0-31-g94cde88

2012-01-15 Thread Ralf Treinen
The following commit has been merged in the master branch: commit f7470c1f1cc3ff700cf9f3002c48c97596c50f26 Author: Ralf Treinen trei...@free.fr Date: Tue Jan 10 22:05:15 2012 +0100 close ITP bug diff --git a/debian/changelog b/debian/changelog index 50fc58f..9ef865b 100644 ---

[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. upstream/1.0-31-g94cde88

2012-01-15 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 94cde884d73d80eb0755c7ea3fbbbd9841072628 Merge: f7470c1f1cc3ff700cf9f3002c48c97596c50f26 eb98bebdb3c4837c03cd08e2e5ee5a8e96cf5a85 Author: Ralf Treinen trei...@free.fr Date: Sun Jan 15 09:06:04 2012 +0100 Merge branch

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.4_beta+dfsg-2-3-gd136352

2012-01-15 Thread Stephane Glondu
The following commit has been merged in the experimental/master branch: commit d136352525babcff56d1a7c9ac018c6c6c7443a4 Author: Stephane Glondu st...@glondu.net Date: Sun Jan 15 12:37:44 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.4_beta+dfsg-2-3-gd136352

2012-01-15 Thread Stephane Glondu
The following commit has been merged in the experimental/master branch: commit 5eb084011ecf23993159a2e1e057ecdb7d7aa06f Author: Stephane Glondu st...@glondu.net Date: Sun Jan 15 12:36:33 2012 +0100 Disable a test that uses too much memory diff --git

[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.4_beta+dfsg-3, created. debian/8.4_beta+dfsg-3

2012-01-15 Thread Stephane Glondu
The annotated tag, debian/8.4_beta+dfsg-3 has been created at 127362b3e161fa2098e73b04208419e21c378161 (tag) tagging d136352525babcff56d1a7c9ac018c6c6c7443a4 (commit) replaces debian/8.4_beta+dfsg-2 tagged by Stephane Glondu on Sun Jan 15 13:05:07 2012 +0100 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] ocsigenserver packaging branch, master, updated. debian/1.3.4-2-18-gaa9bec7

2012-01-15 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 3d5d74e33d019ea5c5489ac591dcabf35a781ff2 Author: Stephane Glondu st...@glondu.net Date: Sun Jan 15 16:13:54 2012 +0100 Update Homepage diff --git a/debian/control b/debian/control index 5bb95d4..a01ec12 100644 ---

[Pkg-ocaml-maint-commits] [SCM] ocsigenserver packaging branch, master, updated. debian/1.3.4-2-18-gaa9bec7

2012-01-15 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 6facf642009bc0b0afad4fc1cf8f1a9d27206b2f Author: Stephane Glondu st...@glondu.net Date: Sun Jan 15 16:13:13 2012 +0100 Update debian/watch diff --git a/debian/watch b/debian/watch index 1bddb07..1059e30 100644 ---

[Pkg-ocaml-maint-commits] [SCM] ocsigenserver packaging branch, master, updated. debian/1.3.4-2-18-gaa9bec7

2012-01-15 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 5c0d6ad88cd836655f92a0f7af3bd1fe22e4a052 Author: Stephane Glondu st...@glondu.net Date: Sun Jan 15 15:40:34 2012 +0100 Update Build-Depends diff --git a/debian/control b/debian/control index a01ec12..76020bb 100644 ---

[Pkg-ocaml-maint-commits] [SCM] ocsigenserver packaging branch, master, updated. debian/1.3.4-2-18-gaa9bec7

2012-01-15 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 9a2f3ddeed809d6ba5969542cd0a9f01f1bee7d1 Author: Stephane Glondu st...@glondu.net Date: Sun Jan 15 17:29:00 2012 +0100 Update debian/copyright diff --git a/debian/copyright b/debian/copyright index 84c2c11..b27a968 100644

[Pkg-ocaml-maint-commits] [SCM] ocsigenserver packaging branch, master, updated. debian/1.3.4-2-18-gaa9bec7

2012-01-15 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 65d329b77efa40159b767b3263671a4db47db30e Author: Stephane Glondu st...@glondu.net Date: Sun Jan 15 15:42:59 2012 +0100 Rename remaining debhelper files diff --git a/debian/ocsigen.default b/debian/ocsigenserver.default

[Pkg-ocaml-maint-commits] [SCM] ocsigenserver packaging branch, master, updated. debian/1.3.4-2-18-gaa9bec7

2012-01-15 Thread Stephane Glondu
The following commit has been merged in the master branch: commit d783de24d01e83d9bf6f1fab516d2cb4b4c93303 Author: Stephane Glondu st...@glondu.net Date: Sun Jan 15 15:36:45 2012 +0100 Remove obsolete debhelper files diff --git a/debian/clean b/debian/clean deleted file mode 100644 index

[Pkg-ocaml-maint-commits] [SCM] ocsigenserver packaging branch, master, updated. debian/1.3.4-2-18-gaa9bec7

2012-01-15 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 538b3ce799047e44a3b6079e171ee2726d2af3da Author: Stephane Glondu st...@glondu.net Date: Sun Jan 15 15:00:01 2012 +0100 More ocsigen - ocsigenserver renamings diff --git a/debian/README.Debian b/debian/README.Debian index

[Pkg-ocaml-maint-commits] [SCM] ocsigenserver packaging branch, master, updated. debian/1.3.4-2-18-gaa9bec7

2012-01-15 Thread Stephane Glondu
The following commit has been merged in the master branch: commit fcdd244eed47ceda66756906cd7519c111a5fbac Author: Stephane Glondu st...@glondu.net Date: Sun Jan 15 16:57:32 2012 +0100 Rewrite debian/rules diff --git a/debian/rules b/debian/rules index dbfed63..08e12ee 100755 ---

[Pkg-ocaml-maint-commits] [SCM] ocsigenserver packaging branch, master, updated. debian/1.3.4-2-18-gaa9bec7

2012-01-15 Thread Stephane Glondu
The following commit has been merged in the master branch: commit aa9bec79ebf4e6b9f34858d0d1925faf50379cd1 Author: Stephane Glondu st...@glondu.net Date: Sun Jan 15 16:57:43 2012 +0100 Add new debhelper files diff --git a/debian/libocsigenserver-ocaml-dev.install.in

[Pkg-ocaml-maint-commits] [SCM] ocsigenserver packaging branch, master, updated. debian/1.3.4-2-21-g908bb1f

2012-01-15 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 0472bfcaf19e30e70b23e4657265b4c7ae0e5a36 Merge: aa9bec79ebf4e6b9f34858d0d1925faf50379cd1 743ff959b2a0e66a65174e31fa94eeba58ac2bef Author: Stephane Glondu st...@glondu.net Date: Sun Jan 15 18:28:07 2012 +0100 Merge commit

[Pkg-ocaml-maint-commits] [SCM] ocsigenserver packaging branch, master, updated. debian/1.3.4-2-21-g908bb1f

2012-01-15 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 908bb1f6d77e1e8e929bb506ff2d5cb5d6cca4fc Author: Stephane Glondu st...@glondu.net Date: Sun Jan 15 18:28:23 2012 +0100 New upstream release diff --git a/debian/changelog b/debian/changelog index d4a820f..2e9ad28 100644 ---

[Pkg-ocaml-maint-commits] [SCM] ocsigenserver packaging annotated tag, upstream/2.0.2b, created. upstream/2.0.2b

2012-01-15 Thread Stephane Glondu
The annotated tag, upstream/2.0.2b has been created at 9a94d1093b8c6c648bf7bb67bf3c4e73eac19420 (tag) tagging 743ff959b2a0e66a65174e31fa94eeba58ac2bef (commit) replaces upstream/2.0.2 tagged by Stephane Glondu on Sun Jan 15 18:28:07 2012 +0100 - Shortlog