[Pkg-ocaml-maint-commits] [SCM] frama-c packaging annotated tag, debian/20090601.beta1+dfsg-1, created. debian/20090601.beta1+dfsg-1

2009-08-29 Thread Mehdi Dogguy
The annotated tag, debian/20090601.beta1+dfsg-1 has been created at 0617caff4d449f1f73b4c09be6c3ad324acf2f9d (tag) tagging 0c88ec9b848f7b921fe573d48a0ba6ba3d9e7bf1 (commit) replaces debian/20081201.dfsg-3 tagged by Mehdi Dogguy on Sat Aug 29 11:39:41 2009 +0200 -

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

2009-08-29 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 52af446e4104d711a4fce53438b4bd29920a5e3d Author: Stephane Glondu st...@glondu.net Date: Sat Aug 29 16:36:44 2009 +0200 Add 0001-Update-for-why-2.19.patch diff --git a/debian/patches/0001-Update-for-why-2.19.patch

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

2009-08-29 Thread Stephane Glondu
The following commit has been merged in the master branch: commit d8e2663f7445de8536e71e16655bd083806360c1 Author: Stephane Glondu st...@glondu.net Date: Sat Aug 29 16:55:03 2009 +0200 Various updates, prepare upload to unstable diff --git a/debian/README.source b/debian/README.source

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

2009-08-29 Thread Stephane Glondu
The annotated tag, debian/8.2.pl1+dfsg-3 has been created at 9307b467b624e99c56bf737ccef1e782804a2732 (tag) tagging d8e2663f7445de8536e71e16655bd083806360c1 (commit) replaces debian/8.2.pl1+dfsg-2 tagged by Stephane Glondu on Sat Aug 29 17:33:08 2009 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, master, updated. debian/0.5.2-1-11-g6ebfadc

2009-08-29 Thread Stephane Glondu
The following commit has been merged in the master branch: commit b4fce8c135bd45b5ad4e1182fc3146a8f932e6ce Author: Stephane Glondu st...@glondu.net Date: Sun Aug 30 01:42:55 2009 +0200 Use quilt to patch upstream diff --git a/Makefile b/Makefile index 3d0ecd8..4c67b1a 100644 --- a/Makefile

[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, master, updated. debian/0.5.2-1-11-g6ebfadc

2009-08-29 Thread Stephane Glondu
The following commit has been merged in the master branch: commit bbcba4cb49b1495a45d9525c0829709423063a55 Author: Stephane Glondu st...@glondu.net Date: Sun Aug 30 01:15:14 2009 +0200 Add a patch to fix FTBFS on kfreebsd diff --git a/debian/patches/0004-Fix-build-on-kfreebsd.patch

[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, master, updated. debian/0.5.2-1-11-g6ebfadc

2009-08-29 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 84561a1a33b0c6cd7787f91d70bfeee9db17fe85 Author: Stephane Glondu st...@glondu.net Date: Sun Aug 30 01:14:45 2009 +0200 Move to section ocaml, update Standards-Version to 3.8.3 diff --git a/debian/control b/debian/control

[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, master, updated. debian/0.5.2-1-11-g6ebfadc

2009-08-29 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 0025cc9a760114e7134b265ef304a602e99aad9a Author: Stephane Glondu st...@glondu.net Date: Sun Aug 30 01:15:18 2009 +0200 Update changelog diff --git a/debian/changelog b/debian/changelog index 84cbc06..dd85362 100644 ---

[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, master, updated. debian/0.5.2-1-11-g6ebfadc

2009-08-29 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 8cfa6499f1fd5f5807df6aafced26f603f016b26 Author: Stephane Glondu st...@glondu.net Date: Sun Aug 30 02:55:14 2009 +0200 Update watch file diff --git a/debian/watch b/debian/watch index b297c77..4d50c56 100644 ---

[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, master, updated. debian/0.5.2-1-11-g6ebfadc

2009-08-29 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 24b8f2e9347037f6e8604d3f96b52b2e8b650014 Merge: 8cfa6499f1fd5f5807df6aafced26f603f016b26 2833c5b9328b12b1c1b8d3909dd51b3ace52f500 Author: Stephane Glondu st...@glondu.net Date: Sun Aug 30 02:55:39 2009 +0200 Merge commit

[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, master, updated. debian/0.5.2-1-11-g6ebfadc

2009-08-29 Thread Stephane Glondu
The following commit has been merged in the master branch: commit cf64ffb13d9050c8d07421aa39c5f3073c121dd1 Author: Stephane Glondu st...@glondu.net Date: Sun Aug 30 02:58:23 2009 +0200 New Upstream Version, refresh patches diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, master, updated. debian/0.5.2-1-11-g6ebfadc

2009-08-29 Thread Stephane Glondu
The following commit has been merged in the master branch: commit a77c5b77db422a4e86ee8b8aa069053cfd8e973a Author: Stephane Glondu st...@glondu.net Date: Sun Aug 30 03:35:19 2009 +0200 Fix kfreebsd patch diff --git a/debian/patches/0004-Fix-build-on-kfreebsd.patch

[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, master, updated. debian/0.5.2-1-11-g6ebfadc

2009-08-29 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 6ebfadcb18b1135933bc3140e6a97662127d63d8 Author: Stephane Glondu st...@glondu.net Date: Sun Aug 30 03:35:54 2009 +0200 Add debian/gbp.conf diff --git a/debian/gbp.conf b/debian/gbp.conf new file mode 100644 index

[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, pristine-tar, updated. ff09b4df788869c18a4026765859ee62f6b1de6a

2009-08-29 Thread Stephane Glondu
The following commit has been merged in the pristine-tar branch: commit ff09b4df788869c18a4026765859ee62f6b1de6a Author: Stephane Glondu st...@glondu.net Date: Sun Aug 30 02:55:39 2009 +0200 pristine-tar data for janest-core_0.5.3.orig.tar.gz diff --git

[Pkg-ocaml-maint-commits] [SCM] janest-core packaging annotated tag, upstream/0.5.3, created. upstream/0.5.3

2009-08-29 Thread Stephane Glondu
The annotated tag, upstream/0.5.3 has been created at 2ff60df515a03e647a6ef65e8d41d3de91bc3f26 (tag) tagging 2833c5b9328b12b1c1b8d3909dd51b3ace52f500 (commit) replaces upstream/0.5.2 tagged by Stephane Glondu on Sun Aug 30 02:55:39 2009 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] janest-core packaging branch, master, updated. debian/0.5.2-1-12-g118a23a

2009-08-29 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 118a23adc61ddeac69e712b4b0d9176e2a155b5a Author: Stephane Glondu st...@glondu.net Date: Sun Aug 30 03:57:06 2009 +0200 Add myself to Uploaders and prepare upload to unstable diff --git a/debian/changelog b/debian/changelog

[Pkg-ocaml-maint-commits] [SCM] janest-core packaging annotated tag, debian/0.5.3-1, created. debian/0.5.3-1

2009-08-29 Thread Stephane Glondu
The annotated tag, debian/0.5.3-1 has been created at b63b12717f69425171f32171e8446676be2cda7b (tag) tagging 118a23adc61ddeac69e712b4b0d9176e2a155b5a (commit) replaces debian/0.5.2-1 tagged by Stephane Glondu on Sun Aug 30 04:00:29 2009 +0200 - Shortlog