[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.09.3.3-1-11-gc8d5522

2012-02-01 Thread Hendrik Tews
The following commit has been merged in the master branch: commit b61f7ff7375729984cf1f78cec929981d8b22f80 Author: Hendrik Tews hend...@askra.de Date: Tue Jan 31 13:05:01 2012 +0100 * hints from Stephane 2012-01-30 diff --git a/debian/compat b/debian/compat index 7f8f011..45a4fb7 100644

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.09.3.3-1-11-gc8d5522

2012-02-01 Thread Hendrik Tews
The following commit has been merged in the master branch: commit e5f48dc21472dc03d47e80bf06d195a39c4a9165 Author: Hendrik Tews hend...@askra.de Date: Tue Jan 31 13:19:31 2012 +0100 fixes to get dit-buildpackge going diff --git a/debian/compat b/debian/compat index 45a4fb7..7f8f011 100644

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.09.3.3-1-11-gc8d5522

2012-02-01 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 72661e37fcded7d197c7a74ba637fd731923f645 Author: Hendrik Tews hend...@askra.de Date: Tue Jan 31 10:59:52 2012 +0100 * update packaging for new upstream version * dep5 compatible copyright diff --git a/.gitignore b

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.09.3.3-1-11-gc8d5522

2012-02-01 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 1ae6b7bdc17abc409f5c1c71ed5539089487adae Author: Hendrik Tews hend...@askra.de Date: Tue Jan 31 13:28:00 2012 +0100 write changelog diff --git a/debian/changelog b/debian/changelog index 321f92d..830575f 100644 --- a/debian

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.09.3.3-1-11-gc8d5522

2012-02-01 Thread Hendrik Tews
The following commit has been merged in the master branch: commit e4eb9a789d9b0bce3d9af2d6aeb14dd11a756c42 Author: Hendrik Tews hend...@askra.de Date: Tue Jan 31 14:53:59 2012 +0100 get pbuilder working diff --git a/debian/rules b/debian/rules index 519ee8d..a708a7b 100755 --- a/debian

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.09.3.3-1-11-gc8d5522

2012-02-01 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 554405a1356cd03b6a7930d2833c6b33fbce0e72 Author: Hendrik Tews hend...@askra.de Date: Tue Jan 31 15:16:11 2012 +0100 adjust debhelper dependency diff --git a/debian/control b/debian/control index 855ad0f..baccf0f 100644

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.09.3.3-1-11-gc8d5522

2012-02-01 Thread Hendrik Tews
The following commit has been merged in the master branch: commit bf5b936d40c32c4642d42fc8ed877c5c7b43451c Author: Hendrik Tews hend...@askra.de Date: Wed Feb 1 13:21:27 2012 +0100 debhelper compat level 8 use OCAML_ABI from ocamlvars.mk diff --git a/debian/compat b/debian/compat index

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.09.3.3-1-11-gc8d5522

2012-02-01 Thread Hendrik Tews
The following commit has been merged in the master branch: commit a2d9dc5760545f2840ca024c8b367b5332b5bc75 Author: Hendrik Tews hend...@askra.de Date: Tue Jan 31 16:29:04 2012 +0100 fix UNRELEASED diff --git a/debian/changelog b/debian/changelog index 830575f..1da5c47 100644 --- a/debian

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.09.3.3-1-11-gc8d5522

2012-02-01 Thread Hendrik Tews
The following commit has been merged in the master branch: commit c8d5522848887cfd005b2f63b04abf9489e1ccb7 Author: Hendrik Tews hend...@askra.de Date: Wed Feb 1 13:30:52 2012 +0100 write changelog diff --git a/debian/changelog b/debian/changelog index 1da5c47..8f8a229 100644 --- a/debian

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

2012-02-01 Thread Hendrik Tews
The annotated tag, debian/3.12.1.99-1 has been created at 08ad3ef5fb365a61fb541a3be4eee3ca614d1a5c (tag) tagging a2d9dc5760545f2840ca024c8b367b5332b5bc75 (commit) replaces debian/3.09.3.3-1 tagged by Hendrik Tews on Tue Jan 31 16:31:47 2012 +0100 - Shortlog

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

2012-02-01 Thread Hendrik Tews
The annotated tag, debian/3.12.1.99-2 has been created at 96a0c55985f40c808adbd489d0ee524a18581375 (tag) tagging c8d5522848887cfd005b2f63b04abf9489e1ccb7 (commit) replaces debian/3.12.1.99-1 tagged by Hendrik Tews on Wed Feb 1 13:33:48 2012 +0100 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.1.99-2-5-gd3c0a74

2012-02-06 Thread Hendrik Tews
The following commit has been merged in the master branch: commit e36f1a6f35bd62ab30b9e0d023a30509f60306b8 Author: Hendrik Tews hend...@askra.de Date: Mon Feb 6 15:25:12 2012 +0100 adapt watch file diff --git a/debian/watch b/debian/watch index 973bb50..bc37d5e 100644 --- a/debian/watch

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.1.99-2-5-gd3c0a74

2012-02-06 Thread Hendrik Tews
The following commit has been merged in the master branch: commit a27c29fca0ad8775decfa10f85bb49df7c5ab47a Merge: e36f1a6f35bd62ab30b9e0d023a30509f60306b8 3cfaf76ffad96e4cdf1a53e03830a9ddba2bdbf2 Author: Hendrik Tews hend...@askra.de Date: Mon Feb 6 15:25:28 2012 +0100 Merge commit

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

2012-02-06 Thread Hendrik Tews
The annotated tag, upstream/3.12.2 has been created at 0ecf5a913f8d3c03f86dbf93e19532cf173b1b88 (tag) tagging 3cfaf76ffad96e4cdf1a53e03830a9ddba2bdbf2 (commit) replaces upstream/3.12.1.99 tagged by Hendrik Tews on Mon Feb 6 15:25:28 2012 +0100 - Shortlog

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

2012-02-06 Thread Hendrik Tews
The annotated tag, debian/3.12.2-1 has been created at 44a9f513fade58e833fd308709f92c33fb384083 (tag) tagging d3c0a748b12abedd1bd1bd9af042056225be5038 (commit) replaces debian/3.12.1.99-2 tagged by Hendrik Tews on Mon Feb 6 16:24:12 2012 +0100 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.1.99-2-5-gd3c0a74

2012-02-06 Thread Hendrik Tews
The following commit has been merged in the master branch: commit d3c0a748b12abedd1bd1bd9af042056225be5038 Author: Hendrik Tews hend...@askra.de Date: Mon Feb 6 16:20:53 2012 +0100 merge debian changelog entries diff --git a/.gitignore b/.gitignore index 1be94dc..b25c15b 100644

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, pristine-tar, updated. a23ef82bfb530d2727a5940a670f00b0074e251a

2012-02-06 Thread Hendrik Tews
The following commit has been merged in the pristine-tar branch: commit a23ef82bfb530d2727a5940a670f00b0074e251a Author: Hendrik Tews hend...@askra.de Date: Mon Feb 6 15:25:28 2012 +0100 pristine-tar data for otags_3.12.2.orig.tar.gz diff --git a/otags_3.12.2.orig.tar.gz.delta b

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, pristine-tar, created. 62ca5035e28f934d30058459cd6205c08e972278

2012-03-14 Thread Hendrik Tews
The branch, pristine-tar has been created at 62ca5035e28f934d30058459cd6205c08e972278 (commit) - Shortlog commit 62ca5035e28f934d30058459cd6205c08e972278 Author: Hendrik Tews hend...@askra.de Date: Wed Mar 14 11:52:15 2012

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, upstream, created. 79ecdcf9e21b2585f8aeee5233c3edd4863946a4

2012-03-14 Thread Hendrik Tews
The branch, upstream has been created at 79ecdcf9e21b2585f8aeee5233c3edd4863946a4 (commit) - Shortlog commit 79ecdcf9e21b2585f8aeee5233c3edd4863946a4 Author: Hendrik Tews hend...@askra.de Date: Wed Mar 14 11:52:12 2012 +0100

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

2012-03-14 Thread Hendrik Tews
The annotated tag, upstream/20120312 has been created at 73d643ba36743b8c92d506a4fcb02fee2c1e772c (tag) tagging 79ecdcf9e21b2585f8aeee5233c3edd4863946a4 (commit) tagged by Hendrik Tews on Wed Mar 14 11:52:15 2012 +0100 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, created. 79ecdcf9e21b2585f8aeee5233c3edd4863946a4

2012-03-14 Thread Hendrik Tews
The branch, master has been created at 79ecdcf9e21b2585f8aeee5233c3edd4863946a4 (commit) - Shortlog commit 79ecdcf9e21b2585f8aeee5233c3edd4863946a4 Author: Hendrik Tews hend...@askra.de Date: Wed Mar 14 11:52:12 2012 +0100

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-1-g3f1cf9c

2012-03-16 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 3f1cf9c3ac487d1bf39a8612e1bac997594651b1 Author: Hendrik Tews hend...@askra.de Date: Fri Mar 16 10:34:17 2012 +0100 initial packaging diff --git a/.gitignore b/.gitignore new file mode 100644 index 000..337c126 --- /dev

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-3-g5daba9c

2012-03-16 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 5daba9cd5298c72851a5809ac0033f0ca0e2ecd5 Author: Hendrik Tews hend...@askra.de Date: Fri Mar 16 21:44:37 2012 +0100 dh --with ocaml diff --git a/debian/rules b/debian/rules index 6e81989..d05b1fd 100755 --- a/debian/rules

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-4-g54edc12

2012-03-19 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 54edc1206a675c53c40f59f5dff2ccc1cbe1a0b0 Author: Hendrik Tews hend...@askra.de Date: Mon Mar 19 11:40:06 2012 +0100 fix camlp5 dependencies and other small changes diff --git a/debian/README.Debian b/debian/README.Debian

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-5-g24df54c

2012-03-21 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 24df54c10566f082ce7c4dd30035d96aaf8a1947 Author: Hendrik Tews hend...@askra.de Date: Wed Mar 21 22:28:38 2012 +0100 linitan override and hint on command diff --git a/debian/README.Debian b/debian/README.Debian index f9ea4d4

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-6-g2e99547

2012-03-23 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 2e9954744c4e1a49eb9d156750eb72b771f3a7ec Author: Hendrik Tews hend...@askra.de Date: Thu Mar 22 14:42:08 2012 +0100 tests and other changes - invoke some of the holtest tests in debian/test-hol-light - build

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-10-gc82df05

2012-03-25 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 4245d307f655eb73463e31d952752d0d4b74a7f9 Author: Hendrik Tews hend...@askra.de Date: Sat Mar 24 21:07:55 2012 +0100 add quilt .pc directory diff --git a/.gitignore b/.gitignore index 337c126..b25c15b 100644 --- a/.gitignore

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-10-gc82df05

2012-03-25 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 35baa7ab5aebe7fcc77f371112ddf949e0d6f886 Author: Hendrik Tews hend...@askra.de Date: Sat Mar 24 21:10:12 2012 +0100 one test only diff --git a/debian/test-hol-light b/debian/test-hol-light index e300beb..958682c 100755

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-10-gc82df05

2012-03-25 Thread Hendrik Tews
The following commit has been merged in the master branch: commit c82df05722dfeebff899ae1d4b0a6f5bdc15054b Author: Hendrik Tews hend...@askra.de Date: Sun Mar 25 22:28:35 2012 +0200 Adapt README.Debian and holtest diff --git a/.pc/applied-patches b/.pc/applied-patches index 25ddc84

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-14-gf05c0c6

2012-03-26 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 17cad3ebc2c302af8d10c0e293564d3ab533cc10 Merge: c82df05722dfeebff899ae1d4b0a6f5bdc15054b 92ab62bede778dd0c4109e8ebb69f49436af325e Author: Hendrik Tews hend...@askra.de Date: Mon Mar 26 09:37:39 2012 +0200 Merge commit

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-14-gf05c0c6

2012-03-26 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 581ef954ad1b23547a2b3d8bd70ae489bb3e7d28 Author: Hendrik Tews hend...@askra.de Date: Mon Mar 26 10:00:32 2012 +0200 adapt to new upstream version - changes license - removed unnecessary chmod diff --git a/debian

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-14-gf05c0c6

2012-03-26 Thread Hendrik Tews
The following commit has been merged in the master branch: commit f05c0c6a54253ff91946c169edd991fb288b5700 Author: Hendrik Tews hend...@askra.de Date: Mon Mar 26 10:04:01 2012 +0200 reenable test diff --git a/debian/test-hol-light b/debian/test-hol-light index a586668..958682c 100755

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

2012-03-26 Thread Hendrik Tews
The following commit has been merged in the pristine-tar branch: commit 4823a0155c505bc0adf56059a2b40f5ae268d5ab Author: Hendrik Tews hend...@askra.de Date: Mon Mar 26 09:37:39 2012 +0200 pristine-tar data for hol-light_20120322.orig.tar.gz diff --git a/hol-light_20120322.orig.tar.gz.delta

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

2012-03-26 Thread Hendrik Tews
The annotated tag, upstream/20120322 has been created at 091c24098328f17c7a109d9b6700c7c5c62b46c1 (tag) tagging 92ab62bede778dd0c4109e8ebb69f49436af325e (commit) replaces upstream/20120312 tagged by Hendrik Tews on Mon Mar 26 09:37:39 2012 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120322-14-g18c4c60

2012-04-10 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 18c4c605fbc2aa1f1a9093c42802d4bcd7b7dbc2 Author: Hendrik Tews hend...@askra.de Date: Tue Apr 10 13:06:38 2012 +0200 copyright refinement - checked copyright statements of various files and added them to debian

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120322-17-gacba4c3

2012-04-24 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 0d5f967a75489585fe3254b0ed120ecf95972748 Merge: 18c4c605fbc2aa1f1a9093c42802d4bcd7b7dbc2 041bf445b8003f49d0701aed137dc90b77929836 Author: Hendrik Tews hend...@askra.de Date: Tue Apr 24 20:12:55 2012 +0200 Merge tag 'upstream

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120322-17-gacba4c3

2012-04-24 Thread Hendrik Tews
The following commit has been merged in the master branch: commit acba4c3a41c04c0067e1616b92d6a3c82c698843 Author: Hendrik Tews hend...@askra.de Date: Tue Apr 24 23:20:48 2012 +0200 fix copyright file - also add a patch to fix the broken Makefile diff --git a/.pc/applied-patches b/.pc

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

2012-04-24 Thread Hendrik Tews
The following commit has been merged in the pristine-tar branch: commit 5bb44edc0d43e4c08bac8ef0aa2a3fd4b3c803e1 Author: Hendrik Tews hend...@askra.de Date: Tue Apr 24 20:12:55 2012 +0200 pristine-tar data for hol-light_20120423.orig.tar.gz diff --git a/hol-light_20120423.orig.tar.gz.delta

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

2012-04-24 Thread Hendrik Tews
The annotated tag, upstream/20120423 has been created at 3f24693526e2df1da8012ee8b07ae8fcc2d2470e (tag) tagging 041bf445b8003f49d0701aed137dc90b77929836 (commit) replaces upstream/20120322 tagged by Hendrik Tews on Tue Apr 24 20:12:55 2012 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging annotated tag, debian/20120423-1, created. debian/20120423-1

2012-04-27 Thread Hendrik Tews
The annotated tag, debian/20120423-1 has been created at 35958b8d1bcbdd7a5f623a8c67f01dba24a6cd09 (tag) tagging acba4c3a41c04c0067e1616b92d6a3c82c698843 (commit) replaces upstream/20120423 tagged by Hendrik Tews on Fri Apr 27 09:51:05 2012 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.12.1-2-9-g24e1bbb

2012-05-11 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 24e1bbba8ac22ee469137a7036884f78d5463225 Author: Hendrik Tews hend...@askra.de Date: Fri May 11 13:41:03 2012 +0200 fixing startup and install scripts of ocaml-mode diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] OCaml packaging branch, master, updated. debian/3.12.1-2-10-gd7c3b39

2012-05-11 Thread Hendrik Tews
The following commit has been merged in the master branch: commit d7c3b39d2d057c7bbd0fc8efb43c3bcba4b73a6e Author: Hendrik Tews hend...@askra.de Date: Fri May 11 17:43:56 2012 +0200 drop pre-depends, use (fboundp 'debian-pkg-add-load-path-item) diff --git a/debian/control b/debian/control

[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, master, created. 9151a834634039cc596a9a1054f7484f529e1835

2012-05-14 Thread Hendrik Tews
The branch, master has been created at 9151a834634039cc596a9a1054f7484f529e1835 (commit) - Shortlog commit 9151a834634039cc596a9a1054f7484f529e1835 Author: Hendrik Tews hend...@askra.de Date: Mon May 14 23:32:44 2012 +0200

[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, pristine-tar, created. 9ac53fac94784764f44d3e570f9f819fed5b3c64

2012-05-14 Thread Hendrik Tews
The branch, pristine-tar has been created at 9ac53fac94784764f44d3e570f9f819fed5b3c64 (commit) - Shortlog commit 9ac53fac94784764f44d3e570f9f819fed5b3c64 Author: Hendrik Tews hend...@askra.de Date: Mon May 14 23:32:45 2012

[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, upstream, created. 9151a834634039cc596a9a1054f7484f529e1835

2012-05-14 Thread Hendrik Tews
The branch, upstream has been created at 9151a834634039cc596a9a1054f7484f529e1835 (commit) - Shortlog commit 9151a834634039cc596a9a1054f7484f529e1835 Author: Hendrik Tews hend...@askra.de Date: Mon May 14 23:32:44 2012 +0200

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

2012-05-14 Thread Hendrik Tews
The annotated tag, upstream/0.10 has been created at f1f5a16c6b08c6284f8f19a3568899e2826b940c (tag) tagging 9151a834634039cc596a9a1054f7484f529e1835 (commit) tagged by Hendrik Tews on Mon May 14 23:32:45 2012 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, master, updated. upstream/0.10-2-g71b6c24

2012-05-15 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 5b155cf67d112d22de5e4f03c4cebc0427ca6317 Author: Hendrik Tews hend...@askra.de Date: Mon May 14 23:50:23 2012 +0200 initial packaging diff --git a/debian/changelog b/debian/changelog new file mode 100644 index 000

[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, master, updated. upstream/0.10-2-g71b6c24

2012-05-15 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 71b6c241a5b56a8245efbcc6fca83530e2df36c4 Author: Hendrik Tews hend...@askra.de Date: Tue May 15 11:04:23 2012 +0200 README.Debian diff --git a/.gitignore b/.gitignore new file mode 100644 index 000..b25c15b --- /dev/null

[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, upstream, updated. upstream/0.10-1-g6b392a2

2012-05-15 Thread Hendrik Tews
The following commit has been merged in the upstream branch: commit 6b392a2f22fabcd34fd7c034518f9c55343d93cd Author: Hendrik Tews hend...@askra.de Date: Mon May 14 23:39:37 2012 +0200 Imported Upstream version 0.10 diff --git a/make-deb-package b/make-deb-package deleted file mode 100755

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.2-1-4-g36db534

2012-05-17 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 52c083f113012b4d3899b7bf1b340360fb498e81 Merge: d3c0a748b12abedd1bd1bd9af042056225be5038 ba68b147a7adfa283b8ba5caca229b338c52d15d Author: Hendrik Tews hend...@askra.de Date: Thu May 17 13:16:57 2012 +0200 Merge tag 'upstream

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.2-1-4-g36db534

2012-05-17 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 0b9b5305870a2f47b5d58f1d25fe4e05115ccb49 Author: Hendrik Tews hend...@askra.de Date: Thu May 17 13:26:20 2012 +0200 update packaging - debhelper compat - standards version - enable tests - changelog diff

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.2-1-4-g36db534

2012-05-17 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 36db5341f647dae0a3add66a71a4e365793f1ad3 Author: Hendrik Tews hend...@askra.de Date: Thu May 17 14:20:17 2012 +0200 fix dependencies diff --git a/debian/changelog b/debian/changelog index 44a52f1..51bb19f 100644 --- a/debian

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, pristine-tar, updated. 26e68e146a0577e4804f734b28011f78cbdf84a0

2012-05-17 Thread Hendrik Tews
The following commit has been merged in the pristine-tar branch: commit 26e68e146a0577e4804f734b28011f78cbdf84a0 Author: Hendrik Tews hend...@askra.de Date: Thu May 17 13:16:57 2012 +0200 pristine-tar data for otags_3.12.3.orig.tar.gz diff --git a/otags_3.12.3.orig.tar.gz.delta b

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

2012-05-17 Thread Hendrik Tews
The annotated tag, debian/3.12.3-1 has been created at e0e18dad0808651344778f37b6153f92d5217ce0 (tag) tagging 36db5341f647dae0a3add66a71a4e365793f1ad3 (commit) replaces debian/3.12.2-1 tagged by Hendrik Tews on Thu May 17 14:25:35 2012 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, master, updated. upstream/0.10-3-gc671b9f

2012-05-23 Thread Hendrik Tews
The following commit has been merged in the master branch: commit c671b9fa6195616f7154591e3493b6b451b5c340 Author: Hendrik Tews hend...@askra.de Date: Wed May 23 16:43:55 2012 +0200 dh_gencontrol override section diff --git a/debian/control b/debian/control index 40fe4d5..a6ff5aa 100644

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.3-1-7-g482133d

2012-05-23 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 8a677e4d7ad07b7feeb64435e1349f2423bc73ba Merge: 36db5341f647dae0a3add66a71a4e365793f1ad3 a577362b2a8bcfd5b21d5f825cb603221e1df406 Author: Hendrik Tews hend...@askra.de Date: Tue May 22 21:35:07 2012 +0200 Merge tag 'upstream

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.3-1-7-g482133d

2012-05-23 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 7fb9ce234eab0782989307a4b65176245e25c32f Author: Hendrik Tews hend...@askra.de Date: Wed May 23 22:23:07 2012 +0200 add README.hints diff --git a/debian/README.hints b/debian/README.hints new file mode 100644 index 000

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.3-1-7-g482133d

2012-05-23 Thread Hendrik Tews
The following commit has been merged in the master branch: commit c1ba134e68140bce01dc9cb4134677b57baa790e Merge: 7fb9ce234eab0782989307a4b65176245e25c32f 12f9bf66a102bc5e53d79deee6640d4b161f30e1 Author: Hendrik Tews hend...@askra.de Date: Wed May 23 22:24:28 2012 +0200 Merge tag 'upstream

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.3-1-7-g482133d

2012-05-23 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 482133d74f4b8771ffeafe484cb6b4205e441dd6 Author: Hendrik Tews hend...@askra.de Date: Wed May 23 22:31:34 2012 +0200 adapt changelog diff --git a/debian/changelog b/debian/changelog index c324770..7a68785 100644 --- a/debian

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, pristine-tar, updated. f0f5f9527a49389997114f37b9819ee59006347b

2012-05-23 Thread Hendrik Tews
The following commit has been merged in the pristine-tar branch: commit b42d2574a3e5c2c09934494c9e4b8440520ba929 Author: Hendrik Tews hend...@askra.de Date: Tue May 22 21:35:07 2012 +0200 pristine-tar data for otags_3.12.4.orig.tar.gz diff --git a/otags_3.12.4.orig.tar.gz.delta b

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, pristine-tar, updated. f0f5f9527a49389997114f37b9819ee59006347b

2012-05-23 Thread Hendrik Tews
The following commit has been merged in the pristine-tar branch: commit f0f5f9527a49389997114f37b9819ee59006347b Author: Hendrik Tews hend...@askra.de Date: Wed May 23 22:24:28 2012 +0200 pristine-tar data for otags_3.12.5.orig.tar.gz diff --git a/otags_3.12.5.orig.tar.gz.delta b

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

2012-05-23 Thread Hendrik Tews
The annotated tag, upstream/3.12.4 has been created at 0c515331f6591024db2085f580b210e7f4422875 (tag) tagging a577362b2a8bcfd5b21d5f825cb603221e1df406 (commit) replaces upstream/3.12.3 tagged by Hendrik Tews on Tue May 22 21:35:07 2012 +0200 - Shortlog

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

2012-05-23 Thread Hendrik Tews
The annotated tag, upstream/3.12.5 has been created at e709ed6c1dc40bbe59c8ae7b3f07913dc1ed79be (tag) tagging 12f9bf66a102bc5e53d79deee6640d4b161f30e1 (commit) replaces upstream/3.12.4 tagged by Hendrik Tews on Wed May 23 22:24:28 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 aa63fee6f172acf3f4327e21f895b498fb1367f8 Merge: 5d8b12913f8137d8f87f6a33b00b75bc702a973d d12928450baf070abf2ef01d9c90ee1d2b11b6ea Author: Hendrik Tews hend...@askra.de Date: Wed May 30 09:15:47 2012 +0200 Merge commit

[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 hend...@askra.de Date: Wed May 30 13:36:09 2012 +0200 adapt debian/copyright diff --git a/debian/changelog b/debian/changelog index d4e1f9c..29f1d31 100644

[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 hend...@askra.de 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

[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 hend...@askra.de 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

[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 hend...@askra.de 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

[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 hend...@askra.de 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

[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 annotated tag, debian/20120530-1, created. debian/20120530-1

2012-06-04 Thread Hendrik Tews
SIGNATURE- Hendrik Tews (7): unapply debian patches Imported Upstream version 20120530 Merge commit 'upstream/20120530' reapply, adapt patches adapt debian/copyright don't override dh_gencontrol add patch holtest-dependency-hint

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

2012-06-04 Thread Hendrik Tews
The annotated tag, debian/3.12.5-1 has been created at 0488f0dbb9a9515b52da305518ac95e6ce780fc6 (tag) tagging 482133d74f4b8771ffeafe484cb6b4205e441dd6 (commit) replaces debian/3.12.3-1 tagged by Hendrik Tews on Mon Jun 4 13:40:45 2012 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. debian/20120530-1-5-g1b178e5

2012-06-11 Thread Hendrik Tews
The following commit has been merged in the master branch: commit c07a1731356133df273679ee375c3f9679a87413 Merge: 06491d805f34c353f5b5d03d415b8df64e3deb0e 91b9649a74715d563d525b311b754324852c0794 Author: Hendrik Tews hend...@askra.de Date: Sun Jun 10 21:57:02 2012 +0200 Merge tag 'upstream

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. debian/20120530-1-5-g1b178e5

2012-06-11 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 06491d805f34c353f5b5d03d415b8df64e3deb0e Author: Hendrik Tews hend...@askra.de Date: Sun Jun 10 21:54:04 2012 +0200 unapply debian patches, remove holtest-dependency-hint patch diff --git a/.pc/.quilt_patches b/.pc

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. debian/20120530-1-5-g1b178e5

2012-06-11 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 1b178e5e97d09de4a500ccf103454e315a067ddc Author: Hendrik Tews hend...@askra.de Date: Sun Jun 10 22:16:54 2012 +0200 refresh patch holtest-no-proof-recording diff --git a/debian/patches/holtest-no-proof-recording.patch b

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

2012-06-11 Thread Hendrik Tews
The following commit has been merged in the pristine-tar branch: commit a1c6e9507e79bacfba46372366cbbca44967f6ff Author: Hendrik Tews hend...@askra.de Date: Sun Jun 10 21:57:02 2012 +0200 pristine-tar data for hol-light_20120602.orig.tar.gz diff --git a/hol-light_20120602.orig.tar.gz.delta

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

2012-06-11 Thread Hendrik Tews
The annotated tag, upstream/20120602 has been created at de149e400d55467a302a9a2128503f975e5c5a1c (tag) tagging 91b9649a74715d563d525b311b754324852c0794 (commit) replaces upstream/20120530 tagged by Hendrik Tews on Sun Jun 10 21:57:02 2012 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging annotated tag, debian/20120602-1, created. debian/20120602-1

2012-06-12 Thread Hendrik Tews
SIGNATURE- Hendrik Tews (5): unapply debian patches, remove holtest-dependency-hint patch Imported Upstream version 20120602 Merge tag 'upstream/20120602' update changelog refresh patch holtest-no-proof-recording

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. debian/20120602-1-3-g2fa3324

2013-05-17 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 8d6f22f53ebe40b1b864592c943906beee838a0e Merge: 1b178e5e97d09de4a500ccf103454e315a067ddc b78aeefbf86577c2049733d6c414f21cb4ded69d Author: Hendrik Tews hend...@askra.de Date: Thu May 16 14:21:44 2013 +0200 Merge tag 'upstream

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

2013-05-17 Thread Hendrik Tews
The following commit has been merged in the pristine-tar branch: commit cbf5bcd89e4016ff6aa15ca9b5528a5d8a43dd82 Author: Hendrik Tews hend...@askra.de Date: Thu May 16 14:21:44 2013 +0200 pristine-tar data for hol-light_20130511.orig.tar.gz diff --git a/hol-light_20130511.orig.tar.gz.delta

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. debian/20120602-1-3-g2fa3324

2013-05-17 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 2fa332419db16e74ef0a8103be5dfec9b6e3d019 Author: Hendrik Tews hend...@askra.de Date: Thu May 16 16:34:02 2013 +0200 several fixes and OCaml 4 compatibility diff --git a/debian/README.Debian b/debian/README.Debian index

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

2013-05-17 Thread Hendrik Tews
The annotated tag, upstream/20130511 has been created at d9d533298940a0f433b67fbf093bd6e5fa184233 (tag) tagging b78aeefbf86577c2049733d6c414f21cb4ded69d (commit) replaces upstream/20120602 tagged by Hendrik Tews on Thu May 16 14:21:44 2013 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, pristine-tar, updated. 98bf81fdb9e5691adcc3287db87331ba3033ca9a

2013-05-17 Thread Hendrik Tews
The following commit has been merged in the pristine-tar branch: commit 98bf81fdb9e5691adcc3287db87331ba3033ca9a Author: Hendrik Tews hend...@askra.de Date: Fri May 17 16:52:22 2013 +0200 pristine-tar data for prooftree_0.12.orig.tar.gz diff --git a/prooftree_0.12.orig.tar.gz.delta b

[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, master, updated. upstream/0.10-7-g25fcb0f

2013-05-17 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 25fcb0fd34f818d28a803b8a1f75e71f9165df0b Author: Hendrik Tews hend...@askra.de Date: Fri May 17 16:53:59 2013 +0200 refresh packaging and dependencies diff --git a/debian/README.Debian b/debian/README.Debian deleted file

[Pkg-ocaml-maint-commits] [SCM] prooftree packaging branch, master, updated. upstream/0.10-7-g25fcb0f

2013-05-17 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 58d3b999e4031e3138e49b803eaef37255a51d11 Merge: c671b9fa6195616f7154591e3493b6b451b5c340 2dd789608d1f7eef3f668bc227cdd977458927f7 Author: Hendrik Tews hend...@askra.de Date: Fri May 17 16:52:22 2013 +0200 Merge tag 'upstream

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

2013-05-17 Thread Hendrik Tews
The annotated tag, debian/0.12-1 has been created at 15268ad370b3f44b3c55edc65f19b508ed7df3ef (tag) tagging 25fcb0fd34f818d28a803b8a1f75e71f9165df0b (commit) replaces upstream/0.12 tagged by Hendrik Tews on Fri May 17 17:24:50 2013 +0200 - Shortlog

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

2013-05-17 Thread Hendrik Tews
The annotated tag, upstream/0.12 has been created at 2bc1760ec0ab913db094dc9955cd207b10b807a7 (tag) tagging 2dd789608d1f7eef3f668bc227cdd977458927f7 (commit) replaces upstream/0.10 tagged by Hendrik Tews on Fri May 17 16:52:22 2013 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] ounit packaging branch, master, updated. debian/1.1.1-1-5-gbdae9ad

2013-05-22 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 4ab69a09115d530f46aea739e52b6b6d1b2b9078 Merge: 0c09ee153aeb45ce9935cc9ff70e2bce0021f3ba 255824c7cdaf7ce5acea73a16d6c45bd09867f54 Author: Hendrik Tews hend...@askra.de Date: Tue May 21 22:28:57 2013 +0200 Merge commit

[Pkg-ocaml-maint-commits] [SCM] ounit packaging branch, pristine-tar, updated. d62322ae416408e61c62dc74f07bfb96c0e3e6e5

2013-05-22 Thread Hendrik Tews
The following commit has been merged in the pristine-tar branch: commit d62322ae416408e61c62dc74f07bfb96c0e3e6e5 Author: Hendrik Tews hend...@askra.de Date: Tue May 21 22:09:36 2013 +0200 pristine-tar data for ounit_1.1.2.orig.tar.gz diff --git a/ounit_1.1.2.orig.tar.gz.delta b/ounit_1.1.2

[Pkg-ocaml-maint-commits] [SCM] ounit packaging branch, master, updated. debian/1.1.1-1-5-gbdae9ad

2013-05-22 Thread Hendrik Tews
The following commit has been merged in the master branch: commit bdae9ad56542bb765e8c694b3b82dd1d9330506f Author: Hendrik Tews hend...@askra.de Date: Tue May 21 22:45:40 2013 +0200 new upstream release and small packaging changes diff --git a/debian/changelog b/debian/changelog index

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

2013-05-22 Thread Hendrik Tews
The annotated tag, debian/1.1.2-1 has been created at 29a6057d2b9820aa4c61328def8f13061d3c1567 (tag) tagging bdae9ad56542bb765e8c694b3b82dd1d9330506f (commit) replaces debian/1.1.1-1 tagged by Hendrik Tews on Wed May 22 12:25:20 2013 +0200 - Shortlog

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

2013-05-22 Thread Hendrik Tews
The annotated tag, upstream/1.1.2 has been created at efa574b6eaac3c379868f872b7a477e64c6daf28 (tag) tagging 255824c7cdaf7ce5acea73a16d6c45bd09867f54 (commit) replaces upstream/1.1.1 tagged by Hendrik Tews on Tue May 21 22:09:36 2013 +0200 - Shortlog

[Pkg-ocaml-maint-commits] [SCM] ocaml-dbus packaging branch, master, updated. debian/0.29-1-4-g5cdf75b

2013-05-26 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 5cdf75b0deaee4fce6a07835e6cc6b95771c4210 Author: Hendrik Tews hend...@askra.de Date: Sat May 25 23:23:15 2013 +0200 fix watchfile diff --git a/debian/changelog b/debian/changelog index b1c81cb..7e36eae 100644 --- a/debian

[Pkg-ocaml-maint-commits] [SCM] atdgen packaging branch, master, updated. debian/1.2.2-1-2-gfb12684

2013-05-26 Thread Hendrik Tews
The following commit has been merged in the master branch: commit fb12684acd431a7a7c6d2408fa7c985057f37329 Author: Hendrik Tews hend...@askra.de Date: Sun May 26 23:37:02 2013 +0200 fix watch file diff --git a/debian/changelog b/debian/changelog index 7463a52..aeb981c 100644 --- a/debian

[Pkg-ocaml-maint-commits] [SCM] mikmatch packaging branch, master, updated. debian/1.0.4-1-2-g3ea191e

2013-05-26 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 3ea191e8b163b7a4188b22eb33a0d49000693fb8 Author: Hendrik Tews hend...@askra.de Date: Sun May 26 23:45:51 2013 +0200 fix watch file diff --git a/debian/changelog b/debian/changelog index fe9486c..6c2c86b 100644 --- a/debian

[Pkg-ocaml-maint-commits] [SCM] ocaml-atd packaging branch, master, updated. debian/1.0.1-1-2-g4572ec9

2013-05-26 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 4572ec9fab83dbacb9f84aa523c746b833022fe8 Author: Hendrik Tews hend...@askra.de Date: Mon May 27 00:04:06 2013 +0200 fix watch file and homepage diff --git a/debian/changelog b/debian/changelog index b87dbd7..bed5756 100644

[Pkg-ocaml-maint-commits] [SCM] ocaml-benchmark packaging branch, master, updated. debian/0.9-2-2-g353c710

2013-05-26 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 353c710e3417ebbf6aea7e87afc245b35a89887b Author: Hendrik Tews hend...@askra.de Date: Mon May 27 00:23:55 2013 +0200 fix watch file and homepage diff --git a/debian/changelog b/debian/changelog index 8ba0d3f..8e83761 100644

[Pkg-ocaml-maint-commits] [SCM] ocaml-inotify packaging branch, master, updated. debian/1.0-1-5-ga68d5aa

2013-05-26 Thread Hendrik Tews
The following commit has been merged in the master branch: commit a68d5aa1cd9bc7f8a61321d7e6baa0a3a2f0b5f9 Author: Hendrik Tews hend...@askra.de Date: Mon May 27 00:35:03 2013 +0200 fix watch file diff --git a/debian/changelog b/debian/changelog index be6d228..8b2f28f 100644 --- a/debian

[Pkg-ocaml-maint-commits] [SCM] uuidm packaging branch, master, updated. debian/0.9.4-1-4-gb56e9c1

2013-05-27 Thread Hendrik Tews
The following commit has been merged in the master branch: commit b56e9c1871665e36476cdb2b7c0a19829111869a Author: Hendrik Tews hend...@askra.de Date: Mon May 27 11:11:44 2013 +0200 update packaging and add man page diff --git a/debian/changelog b/debian/changelog index 262b614..e33c21b

[Pkg-ocaml-maint-commits] [SCM] uuidm packaging branch, pristine-tar, updated. 070579bf2dc73a290c797ae76b49bd70de6b15e9

2013-05-27 Thread Hendrik Tews
The following commit has been merged in the pristine-tar branch: commit 070579bf2dc73a290c797ae76b49bd70de6b15e9 Author: Hendrik Tews hend...@askra.de Date: Mon May 27 09:32:23 2013 +0200 pristine-tar data for uuidm_0.9.5.orig.tar.bz2 diff --git a/uuidm_0.9.5.orig.tar.bz2.delta b

  1   2   3   4   >