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

2012-02-07 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 413946472112afcce47ed7296b347bdbf470cf47 Author: Ralf Treinen Date: Tue Feb 7 18:51:50 2012 +0100 binaries and packages have prefix dose- now. diff --git a/debian/changelog b/debian/changelog index 47a6355..b1f53d9 100644 --

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

2012-02-07 Thread Ralf Treinen
The following commit has been merged in the master branch: commit a718c5656d875936803721c4a9d90ce7006c39ee Author: Ralf Treinen Date: Tue Feb 7 18:38:50 2012 +0100 drop patch make-manpages which has been integrated by upstream diff --git a/debian/patches/make-manpages b/debian/patches/make

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

2012-02-07 Thread Ralf Treinen
The following commit has been merged in the master branch: commit ba2953dd8d515e8a7970ba57ff0d3392545a887e Author: Ralf Treinen Date: Tue Feb 7 18:37:36 2012 +0100 update changelog to v 2.9.12 diff --git a/debian/changelog b/debian/changelog index 8997366..47a6355 100644 --- a/debian/chang

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

2012-02-07 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 2ef65118378a607954f997ba292b698c9f1bf205 Merge: c479652dd02a76500c631ad6db5874148fdc132f 49c4db20e7c0ef86e9919e36c156d0779bf7ddd2 Author: Ralf Treinen Date: Tue Feb 7 18:36:35 2012 +0100 Merge commit 'upstream/2.9.12' --

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

2012-02-07 Thread Ralf Treinen
The following commit has been merged in the master branch: commit c479652dd02a76500c631ad6db5874148fdc132f Author: Ralf Treinen Date: Tue Feb 7 15:23:40 2012 +0100 fix footer/header line of manpages diff --git a/debian/patches/make-manpages b/debian/patches/make-manpages new file mode 1006

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

2012-02-07 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 004a92b8f0c35f4579b1430450fde655110227f4 Author: Ralf Treinen Date: Tue Feb 7 15:18:53 2012 +0100 fix a typo diff --git a/debian/patches/binaries-prefix-edos b/debian/patches/binaries-prefix-edos index a4ed7c4..74fe132 1006

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

2012-02-07 Thread Ralf Treinen
The following commit has been merged in the master branch: commit a3d7ff88afb17f04c66a4c7efc3300af5f9418a4 Author: Ralf Treinen Date: Tue Feb 7 14:55:47 2012 +0100 really remove debian/TODO, restore upstream TODO ;-) diff --git a/TODO b/TODO new file mode 100644 index 000..03c6298 ---

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

2012-02-07 Thread Ralf Treinen
The following commit has been merged in the master branch: commit b2051d5f3cf65a12dc8f889421303d06bf41d9cc Author: Ralf Treinen Date: Tue Feb 7 15:02:33 2012 +0100 add build-dependency on graphviz diff --git a/debian/changelog b/debian/changelog index 3571abb..8997366 100644 --- a/debian/c