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

2012-05-31 Thread Ralf Treinen
The annotated tag, debian/2.9.17-1 has been created at 3d0c8e3b4ecd6dbb24f7c0bf2cdc4d70f57ab220 (tag) tagging 976f6a56a85cf51d9e57fd06873ad2446cb9853d (commit) replaces debian/2.9.15-1 tagged by Ralf Treinen on Thu May 31 22:38:44 2012 +0200 - Shortlog --

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.15-1-12-g976f6a5

2012-05-31 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 466a1c5106f0f79c2bff8ef92539f36d0ec10717 Author: Ralf Treinen Date: Thu May 31 21:57:40 2012 +0200 put apt-cudf-get manpage into section 8, not 1 diff --git a/debian/apt-cudf.manpages b/debian/apt-cudf.manpages index a96f7ae

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.15-1-12-g976f6a5

2012-05-31 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 976f6a56a85cf51d9e57fd06873ad2446cb9853d Author: Ralf Treinen Date: Thu May 31 22:12:25 2012 +0200 rewrite apt-cued-get manpage as suggested by Roberto diff --git a/debian/apt-cudf-get.pod b/debian/apt-cudf-get.pod index 410

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.15-1-12-g976f6a5

2012-05-31 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 04283f94ecd1472f6e4044c78c70a0460d2e3afb Author: Ralf Treinen Date: Thu May 31 21:56:31 2012 +0200 apt-cudf-get manpage: extend SEE ALSO as suggested by Zack diff --git a/debian/apt-cudf-get.pod b/debian/apt-cudf-get.pod ind

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.15-1-12-g976f6a5

2012-05-31 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 7c51c49eda32f975f330b602915f8755ba8bf8f6 Author: Ralf Treinen Date: Thu May 31 21:51:01 2012 +0200 fix a bug in apt-cudf-get missing line-break between two shell commands diff --git a/debian/apt-cudf-get b/debian/ap

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.15-1-12-g976f6a5

2012-05-31 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 3299fd121a28e4aaa97d2404ed230ffcfc109fd6 Author: Ralf Treinen Date: Thu May 31 21:31:41 2012 +0200 add manpage for apt-cudf-get diff --git a/debian/apt-cudf-get.pod b/debian/apt-cudf-get.pod new file mode 100644 index 00

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

2012-05-31 Thread Ralf Treinen
The annotated tag, upstream/2.9.17 has been created at 6458ccf419945776043995f1509824175002f90c (tag) tagging f3e6d0918746bc7fe12eac5752329ce7d45f849d (commit) replaces upstream/2.9.15 tagged by Ralf Treinen on Thu May 31 10:16:29 2012 +0200 - Shortlog --

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, pristine-tar, updated. 3530214a94134152ef6d717cec5051ba0e72ebc6

2012-05-31 Thread Ralf Treinen
The following commit has been merged in the pristine-tar branch: commit 3530214a94134152ef6d717cec5051ba0e72ebc6 Author: Ralf Treinen Date: Thu May 31 10:16:29 2012 +0200 pristine-tar data for dose3_2.9.17.orig.tar.gz diff --git a/dose3_2.9.17.orig.tar.gz.delta b/dose3_2.9.17.orig.tar.gz.d

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.15-1-7-g9cad0ed

2012-05-31 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 9cad0ed0e51ae3bcbe917fc96ab92541cc4b42b6 Author: Ralf Treinen Date: Thu May 31 18:21:13 2012 +0200 install apt-cudf-get in the apt-cudf package diff --git a/debian/apt-cudf-get b/debian/apt-cudf-get new file mode 100644 inde

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.15-1-7-g9cad0ed

2012-05-31 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 5d33f76dac8aedd7d4d92657c8cf0fb2a120357a Author: Ralf Treinen Date: Thu May 31 15:19:10 2012 +0200 deactivate tests temporary solution. In the long run, upstream has to separate the tests that need external data

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.15-1-7-g9cad0ed

2012-05-31 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 477d0f12a07e78c179df1331095bddd0e5e6c1f6 Author: Ralf Treinen Date: Thu May 31 10:59:01 2012 +0200 install apt-cudf.conf manpage we have to rename it from .1 to .5 as upstream wrongly puts is into section 1. It b

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.15-1-7-g9cad0ed

2012-05-31 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 5cc203b96a460c281121588360d7665e347e55da Author: Ralf Treinen Date: Thu May 31 10:51:01 2012 +0200 install /etc/apt-cudf.conf diff --git a/debian/apt-cudf.conf b/debian/apt-cudf.conf new file mode 100644 index 000..62958

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.15-1-7-g9cad0ed

2012-05-31 Thread Ralf Treinen
The following commit has been merged in the master branch: commit c7416cdd0d52a78b362b1b99b95547d8082eaa75 Author: Ralf Treinen Date: Thu May 31 10:29:29 2012 +0200 refreshed patch binaries-prefix-edos diff --git a/debian/changelog b/debian/changelog index 443d12e..76e5aae 100644 --- a/deb

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.15-1-7-g9cad0ed

2012-05-31 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 951cb19586a63c6cd4f014e3a9250069282d1e88 Merge: 332483a45bccd93534f1fbc58825e01036b0b946 f3e6d0918746bc7fe12eac5752329ce7d45f849d Author: Ralf Treinen Date: Thu May 31 10:16:29 2012 +0200 Merge tag 'upstream/2.9.17'

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging annotated tag, upstream/20120530, created. upstream/20120530

2012-05-31 Thread Hendrik Tews
The annotated tag, upstream/20120530 has been created at 842a5f9da9262b09084946430c478b22217b6f10 (tag) tagging d12928450baf070abf2ef01d9c90ee1d2b11b6ea (commit) replaces upstream/20120423 tagged by Hendrik Tews on Wed May 30 09:15:47 2012 +0200 - Shortlog --

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. debian/20120423-1-7-g452b483

2012-05-31 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 452b483ad50ec27ab0ed4602e8c2dfbee3a9d24a Author: Hendrik Tews Date: Thu May 31 10:12:37 2012 +0200 add patch holtest-dependency-hint diff --git a/.pc/applied-patches b/.pc/applied-patches index 0c7a73b..c4fb8a5 100644 --- a/

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, pristine-tar, updated. 7bd88f26b1fd461b07e31e349c62cd2bcd119b37

2012-05-31 Thread Hendrik Tews
The following commit has been merged in the pristine-tar branch: commit 7bd88f26b1fd461b07e31e349c62cd2bcd119b37 Author: Hendrik Tews Date: Wed May 30 09:15:46 2012 +0200 pristine-tar data for hol-light_20120530.orig.tar.gz diff --git a/hol-light_20120530.orig.tar.gz.delta b/hol-light_201

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. debian/20120423-1-7-g452b483

2012-05-31 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 074b903e7ec3efeb67abfa298a29dfdfd7fa7038 Author: Hendrik Tews Date: Wed May 30 16:54:37 2012 +0200 don't override dh_gencontrol diff --git a/debian/changelog b/debian/changelog index 29f1d31..34ccd6d 100644 --- a/debian/chan

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. debian/20120423-1-7-g452b483

2012-05-31 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 29d6ce1128b8b3bdf5cad8e88719c90d1d5f4b1c Author: Hendrik Tews Date: Wed May 30 09:35:04 2012 +0200 reapply, adapt patches delete patches adapt-holtest-for-debian, pa-j-makefile-fix diff --git a/.pc/applied-patches b/.pc/

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. debian/20120423-1-7-g452b483

2012-05-31 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 35c9e74ffcb5c0d7bf8db90ad59806fd79ff6d55 Author: Hendrik Tews Date: Wed May 30 13:36:09 2012 +0200 adapt debian/copyright diff --git a/debian/changelog b/debian/changelog index d4e1f9c..29f1d31 100644 --- a/debian/changelog

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. debian/20120423-1-7-g452b483

2012-05-31 Thread Hendrik Tews
The following commit has been merged in the master branch: commit aa63fee6f172acf3f4327e21f895b498fb1367f8 Merge: 5d8b12913f8137d8f87f6a33b00b75bc702a973d d12928450baf070abf2ef01d9c90ee1d2b11b6ea Author: Hendrik Tews Date: Wed May 30 09:15:47 2012 +0200 Merge commit 'upstream/20120530' -