[Pkg-ocaml-maint-commits] [SCM] caml2html packaging annotated tag, debian/1.4.1-2, created. debian/1.4.1-2

2011-04-19 Thread Stephane Glondu
The annotated tag, debian/1.4.1-2 has been created at ce00c6399d934a81ee8c9e1acaab2f00714f1757 (tag) tagging 88e0764dbe7893bf91153f0617fc388f6c4b2229 (commit) replaces debian/1.4.1-1 tagged by Stephane Glondu on Tue Apr 19 08:47:34 2011 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] mikmatch packaging branch, master, updated. debian/1.0.2-1-5-g4176f95

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 40c447ac82533f8fd95dd831e825bd70d6095220 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 09:23:26 2011 +0200 Add debian/watch diff --git a/debian/watch b/debian/watch new file mode 100644 index 000..a8699a0 ---

[Pkg-ocaml-maint-commits] [SCM] mikmatch packaging branch, master, updated. debian/1.0.2-1-5-g4176f95

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit bcdaac65b2b64c393a17462efac965de0971a852 Merge: 40c447ac82533f8fd95dd831e825bd70d6095220 ab1d8cce9e379a92662ff19fc9ccd53a9b6fa973 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 09:25:01 2011 +0200 Merge commit

[Pkg-ocaml-maint-commits] [SCM] mikmatch packaging branch, master, updated. debian/1.0.2-1-5-g4176f95

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit cea2c60404ade7dd687957a00bd287a815d379cd Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 09:29:20 2011 +0200 New upstream release, compatible with OCaml 3.12.0 diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] mikmatch packaging branch, master, updated. debian/1.0.2-1-5-g4176f95

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 4176f95be0037cab3ffbc15c6729b282d80d6fbe Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 09:29:32 2011 +0200 Update changelog and prepare upload to unstable diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] mikmatch packaging branch, pristine-tar, updated. 0291cf3b7d1f10af649ccc7c2e42c7b3000eef1c

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the pristine-tar branch: commit 0291cf3b7d1f10af649ccc7c2e42c7b3000eef1c Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 09:25:01 2011 +0200 pristine-tar data for mikmatch_1.0.3.orig.tar.gz diff --git a/mikmatch_1.0.3.orig.tar.gz.delta

[Pkg-ocaml-maint-commits] [SCM] mikmatch packaging annotated tag, debian/1.0.3-1, created. debian/1.0.3-1

2011-04-19 Thread Stephane Glondu
The annotated tag, debian/1.0.3-1 has been created at b58f07f00e43475a5ddabbe426607d28a1a7a128 (tag) tagging 4176f95be0037cab3ffbc15c6729b282d80d6fbe (commit) replaces debian/1.0.2-1 tagged by Stephane Glondu on Tue Apr 19 09:36:23 2011 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] mikmatch packaging annotated tag, upstream/1.0.3, created. upstream/1.0.3

2011-04-19 Thread Stephane Glondu
The annotated tag, upstream/1.0.3 has been created at bf35633243baf32c8998ec26226d415db5cb4db7 (tag) tagging ab1d8cce9e379a92662ff19fc9ccd53a9b6fa973 (commit) replaces upstream/1.0.2 tagged by Stephane Glondu on Tue Apr 19 09:25:01 2011 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] cameleon packaging branch, master, updated. debian/1.9.19-2-9-g86c195d

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 3cad71a3c0dc2be8b2b3511feeeaa01e4347c528 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 09:51:17 2011 +0200 Add local-options diff --git a/.gitignore b/.gitignore new file mode 100644 index 000..845ca06 ---

[Pkg-ocaml-maint-commits] [SCM] cameleon packaging branch, master, updated. debian/1.9.19-2-9-g86c195d

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 8806885890dbe7425d8a4b7bd93e7ebc5dffea7f Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 09:53:34 2011 +0200 Clean up in Provides/Conflicts/Replaces diff --git a/debian/control b/debian/control index

[Pkg-ocaml-maint-commits] [SCM] cameleon packaging branch, master, updated. debian/1.9.19-2-9-g86c195d

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit bc88e4520590df4ccc0dd9deb4b33226ffacf896 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 09:53:50 2011 +0200 Remove Stefano from Uploaders diff --git a/debian/control b/debian/control index f281269..ea77ada 100644

[Pkg-ocaml-maint-commits] [SCM] cameleon packaging branch, master, updated. debian/1.9.19-2-9-g86c195d

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit abfd7f8a2c7b7ffd9dd86978847294766e60 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 09:54:09 2011 +0200 Bump Standards-Version to 3.9.2 diff --git a/debian/control b/debian/control index ea77ada..633da10

[Pkg-ocaml-maint-commits] [SCM] cameleon packaging branch, master, updated. debian/1.9.19-2-9-g86c195d

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit c893f8fb681dd089446f25002dd23881c07aa802 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 10:07:55 2011 +0200 Remove duplicate build-dependency spotted by Lintian diff --git a/debian/control b/debian/control index

[Pkg-ocaml-maint-commits] [SCM] cameleon packaging branch, master, updated. debian/1.9.19-2-9-g86c195d

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 86c195d1ba223a4403029244e00442eca39e6d36 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 09:48:37 2011 +0200 Update changelog and prepare upload to unstable diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] cameleon packaging annotated tag, debian/1.9.20-1, created. debian/1.9.20-1

2011-04-19 Thread Stephane Glondu
The annotated tag, debian/1.9.20-1 has been created at 41f6b6d7e9ce0ea9b1f392dc9feb03ee43d71d2c (tag) tagging 86c195d1ba223a4403029244e00442eca39e6d36 (commit) replaces debian/1.9.19-2 tagged by Stephane Glondu on Tue Apr 19 10:26:16 2011 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.3.pl1+dfsg-2-1-g4b1c150

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 4b1c150e26881501db9aa944df6406150fc0670d Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 12:35:37 2011 +0200 Promote 8.3 branch to master branch diff --git a/debian/gbp.conf b/debian/gbp.conf index dfa07a0..cec628c

[Pkg-ocaml-maint-commits] [SCM] type-conv packaging branch, master, updated. debian/1.7.1-1-5-g10e406f

2011-04-19 Thread Sylvain Le Gall
The following commit has been merged in the master branch: commit 6721d633c02aec9fc2c612397d890f7fbe5f8bc7 Merge: 776e33b390e4211f688cda443cc6d2f3e74635be 343c9ac6cdc21a4576df24ac7baefc475450c1a5 Author: Sylvain Le Gall gil...@debian.org Date: Wed Oct 27 10:17:55 2010 +0200 Merge commit

[Pkg-ocaml-maint-commits] [SCM] type-conv packaging branch, master, updated. debian/1.7.1-1-5-g10e406f

2011-04-19 Thread Sylvain Le Gall
The following commit has been merged in the master branch: commit 10e406ffaafbb56fa500507714b2a57b3d3f3d5f Author: Sylvain Le Gall gil...@debian.org Date: Wed Oct 27 11:25:46 2010 +0200 New upstream release diff --git a/debian/changelog b/debian/changelog index 65c0065..40749d5 100644 ---

[Pkg-ocaml-maint-commits] [SCM] type-conv packaging branch, master, updated. debian/1.7.1-1-11-gcc3bf20

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit f5dc4e3f6c76f3cc27ac2ae9147ee878abcc04ba Merge: 10e406ffaafbb56fa500507714b2a57b3d3f3d5f b51d583f5d37b104d257d4fbae1d7c733d9022fc Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 14:26:13 2011 +0200 Merge commit

[Pkg-ocaml-maint-commits] [SCM] type-conv packaging branch, master, updated. debian/1.7.1-1-11-gcc3bf20

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 3d0e437231c0d16d73edb155c133534bd238e2d8 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 14:27:30 2011 +0200 New upstream release diff --git a/debian/changelog b/debian/changelog index 40749d5..8e04808 100644 ---

[Pkg-ocaml-maint-commits] [SCM] type-conv packaging branch, master, updated. debian/1.7.1-1-11-gcc3bf20

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 65db8b0f853dab961ba7c9dbbb57fa5e7be5e052 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 14:28:16 2011 +0200 Bump Standards-Version to 3.9.2 (no changes) diff --git a/debian/control b/debian/control index

[Pkg-ocaml-maint-commits] [SCM] type-conv packaging branch, master, updated. debian/1.7.1-1-11-gcc3bf20

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 245592ccd1d6ee6e7270f7ef90dd03371468 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 14:34:18 2011 +0200 Remove reference to deprecated BSD common-license diff --git a/debian/copyright b/debian/copyright index

[Pkg-ocaml-maint-commits] [SCM] type-conv packaging branch, master, updated. debian/1.7.1-1-11-gcc3bf20

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit cc3bf20ff901fb9574b45d2942b8f3dbed1f1903 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 14:29:01 2011 +0200 Update changelog and prepare upload to unstable diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] type-conv packaging branch, pristine-tar, updated. 011dc48615aa92b7e64b42fc90138cd36d431421

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the pristine-tar branch: commit 011dc48615aa92b7e64b42fc90138cd36d431421 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 14:26:12 2011 +0200 pristine-tar data for type-conv_2.0.2.orig.tar.gz diff --git a/type-conv_2.0.2.orig.tar.gz.delta

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

2011-04-19 Thread Stephane Glondu
The annotated tag, upstream/2.0.2 has been created at 1088b1e92970c2fa7ec02bf33da95249c6bff888 (tag) tagging b51d583f5d37b104d257d4fbae1d7c733d9022fc (commit) replaces upstream/1.7.1 tagged by Stephane Glondu on Tue Apr 19 14:26:13 2011 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.3-1-4-g2060a81

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 2060a81f4b67d5431a0ca80373df154628f42e9c Author: Stephane Glondu st...@glondu.net Date: Thu Mar 31 10:52:07 2011 +0200 Prepare upload to experimental diff --git a/debian/changelog b/debian/changelog index af2fb4f..bd34273

[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging annotated tag, debian/1.3pl1-1, created. debian/1.3pl1-1

2011-04-19 Thread Stephane Glondu
The annotated tag, debian/1.3pl1-1 has been created at bd313737cc6bfe10f035566ea319ccbf353e6c07 (tag) tagging 2060a81f4b67d5431a0ca80373df154628f42e9c (commit) replaces debian/1.3-1 tagged by Stephane Glondu on Tue Apr 19 15:01:45 2011 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.3.pl1+dfsg-2-7-gf23ca11

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 7a24ebd7506f927a6493d065b8c9c297afd08db3 Merge: 4b1c150e26881501db9aa944df6406150fc0670d aa33547c764a229e22d323ca213d46ea221b903e Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 16:52:57 2011 +0200 Merge commit

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.3.pl1+dfsg-2-7-gf23ca11

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 3e161d7462ca7977e36ac0cacd0fb1a3d5fe0153 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 16:58:27 2011 +0200 New upstream release diff --git a/debian/changelog b/debian/changelog index 4c4a839..31839e8 100644 ---

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.3.pl1+dfsg-2-7-gf23ca11

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit d13e1b888485eb71d559cf2dea65ad1b49704bd8 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 16:57:21 2011 +0200 Add patch to fix thumb2-related build error (Closes: #622882) diff --git

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.3.pl1+dfsg-2-7-gf23ca11

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit f23ca11128fd713789e64a93090d6fd7ec9eca72 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 16:58:32 2011 +0200 Update changelog and prepare upload to unstable diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, pristine-tar, updated. 4bd5268aab4bc761d29921e884104a583710d70d

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the pristine-tar branch: commit 1bf5a52ae69a2869e095621bb5765026ba836887 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 16:44:39 2011 +0200 pristine-tar data for coq_8.3.pl2.orig.tar.gz diff --git a/coq_8.3.pl2.orig.tar.gz.delta

[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, pristine-tar, updated. 4bd5268aab4bc761d29921e884104a583710d70d

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the pristine-tar branch: commit 4bd5268aab4bc761d29921e884104a583710d70d Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 17:38:13 2011 +0200 pristine-tar data for coq_8.3.pl2+dfsg.orig.tar.gz diff --git a/coq_8.3.pl2+dfsg.orig.tar.gz.delta

[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.3.pl2+dfsg-1, created. debian/8.3.pl2+dfsg-1

2011-04-19 Thread Stephane Glondu
The annotated tag, debian/8.3.pl2+dfsg-1 has been created at 69d46d51867fde4b3c72fd4a362665d20a1ede93 (tag) tagging f23ca11128fd713789e64a93090d6fd7ec9eca72 (commit) replaces debian/8.3.pl1+dfsg-2 tagged by Stephane Glondu on Tue Apr 19 19:13:42 2011 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, upstream/8.3.pl2, created. upstream/8.3.pl2

2011-04-19 Thread Stephane Glondu
The annotated tag, upstream/8.3.pl2 has been created at 950d12196b173b16b056bcd543b547bc01480b08 (tag) tagging 9d27ae09786866b6e3d7b79d1fa7667e5e2aa309 (commit) replaces upstream/8.3pl1 tagged by Stephane Glondu on Tue Apr 19 16:44:40 2011 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] coq packaging tag, upstream/8.3.pl2+dfsg, created. upstream/8.3.pl1+dfsg-2-gaa33547

2011-04-19 Thread Stephane Glondu
The tag, upstream/8.3.pl2+dfsg has been created at aa33547c764a229e22d323ca213d46ea221b903e (commit) - Shortlog commit aa33547c764a229e22d323ca213d46ea221b903e Merge: 50dc906 9d27ae0 Author: Stephane Glondu st...@glondu.net

[Pkg-ocaml-maint-commits] [SCM] cmigrep packaging branch, master, updated. debian/1.5-7-20-g7a1e62e

2011-04-19 Thread Ralf Treinen
The following commit has been merged in the master branch: commit b449d8957809dd093ef5bd2e9e725b7fc2dbbf8d Author: Ralf Treinen trei...@debian.org Date: Tue Apr 19 19:28:51 2011 +0200 bump standards version diff --git a/debian/changelog b/debian/changelog index 7c61792..a61934b 100644 ---

[Pkg-ocaml-maint-commits] [SCM] cmigrep packaging annotated tag, debian/1.5-8, created. debian/1.5-8

2011-04-19 Thread Ralf Treinen
The annotated tag, debian/1.5-8 has been created at a52a4602ddac18730745c218d0868974aeeaff83 (tag) tagging 7a1e62e72c47091be0a227ab20d516acb471feaa (commit) replaces debian/1.5-7 tagged by Ralf Treinen on Tue Apr 19 19:32:44 2011 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] ocamldsort packaging branch, master, updated. debian/0.15.0-1-3-g80ea9e5

2011-04-19 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 80ea9e5cf0e50c98db8231a969e2744600930444 Author: Ralf Treinen trei...@debian.org Date: Tue Apr 19 19:51:32 2011 +0200 added watch file diff --git a/debian/changelog b/debian/changelog index 7f9af26..32e4ae0 100644 ---

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.12.0-3-1-g4323ac9

2011-04-19 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 4323ac997979dc7e4a1fd3c687a4520191b107d5 Author: Stephane Glondu st...@glondu.net Date: Tue Apr 19 21:16:40 2011 +0200 Bugfix in 0008-Embed-bytecode-in-C-object-when-using-custom.patch I got confused by so many

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging annotated tag, debian/3.12.0-4, created. debian/3.12.0-4

2011-04-19 Thread Stephane Glondu
The annotated tag, debian/3.12.0-4 has been created at 41669f23587dfdcdf78e1207de614e95b08112c2 (tag) tagging 4323ac997979dc7e4a1fd3c687a4520191b107d5 (commit) replaces debian/3.12.0-3 tagged by Stephane Glondu on Tue Apr 19 21:51:09 2011 +0200 - Shortlog

[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 st...@glondu.net 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

[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 st...@glondu.net 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

[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 st...@glondu.net 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

[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 st...@glondu.net Date: Tue Apr 19 23:12:52 2011 +0200 Merge branch