[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.8-1-38-gec4b9bb

2012-02-07 Thread Ralf Treinen
The following commit has been merged in the master branch: commit d63524d4084e5ab9e1a02bd49f08ea51ce414c5b Author: Ralf Treinen trei...@free.fr Date: Tue Feb 7 21:41:57 2012 +0100 update debian/copyright diff --git a/debian/changelog b/debian/changelog index f24d623..afab504 100644 ---

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.8-1-38-gec4b9bb

2012-02-07 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 7a3ded367b60d6a6653e60d5633d613fd9234800 Author: Ralf Treinen trei...@free.fr Date: Tue Feb 7 21:47:18 2012 +0100 use dose- prefix in all manpages diff --git a/debian/patches/binaries-prefix-edos

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.8-1-38-gec4b9bb

2012-02-07 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 73131f036ca247c1272a943668c8f9b27526759f Author: Ralf Treinen trei...@free.fr Date: Tue Feb 7 21:57:21 2012 +0100 upload to experimental diff --git a/debian/changelog b/debian/changelog index afab504..f562bb0 100644 ---

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.8-1-38-gec4b9bb

2012-02-07 Thread Ralf Treinen
The following commit has been merged in the master branch: commit ec4b9bba1995e20ece43b0803ea756f1821a7c61 Author: Ralf Treinen trei...@free.fr Date: Tue Feb 7 22:05:05 2012 +0100 correct indentation of list in long description diff --git a/debian/control b/debian/control index