[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4.1-1-4-g4dd6a18

2009-06-13 Thread Ralf Treinen
The following commit has been merged in the master branch: commit c8aba839fc78bd19a5463d8771aca5cd0ed465be Author: Ralf Treinen trei...@free.fr Date: Mon May 25 21:32:13 2009 +0200 add build-dependncy on hevea diff --git a/debian/changelog b/debian/changelog index e8d2de9..c89985d 100644

[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4.1-1-4-g4dd6a18

2009-06-13 Thread Ralf Treinen
The following commit has been merged in the master branch: commit d722d0aef4060374d5a3c7d8b754261553469c06 Author: Ralf Treinen trei...@free.fr Date: Sat Jun 13 11:51:52 2009 +0200 merge in new upstream 1.4.2 diff --git a/debian/changelog b/debian/changelog index c89985d..2ebef1b 100644

[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4.1-1-4-g4dd6a18

2009-06-13 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 4dd6a188c810f72b1fa8329765a4282276bea010 Author: Ralf Treinen trei...@free.fr Date: Sat Jun 13 12:23:57 2009 +0200 fix missing quote before vesion (in documentation) diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, pristine-tar, updated. 560820c11d031819522717d2f5cbedad344daa77

2009-06-13 Thread Ralf Treinen
The following commit has been merged in the pristine-tar branch: commit 560820c11d031819522717d2f5cbedad344daa77 Author: Ralf Treinen trei...@free.fr Date: Sat Jun 13 11:51:06 2009 +0200 pristine-tar data for pkglab_1.4.2.orig.tar.gz diff --git a/pkglab_1.4.2.orig.tar.gz.delta

[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4.1-1-4-g4dd6a18

2009-06-13 Thread Ralf Treinen
The following commit has been merged in the master branch: commit a4c336f22ea6cedce2bb56999580e8cd1fc1f7e4 Merge: c8aba839fc78bd19a5463d8771aca5cd0ed465be 0fb479321ef696d473db850e9e160a878c33b55d Author: Ralf Treinen trei...@free.fr Date: Sat Jun 13 11:51:06 2009 +0200 Merge commit

[Pkg-ocaml-maint-commits] [SCM] jocaml packaging branch, master, updated. debian/3.11.0-3-2-ge710d03

2009-06-13 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit e710d03ebbe20e82e655421bce4598271fdf50e8 Author: Mehdi Dogguy dog...@pps.jussieu.fr Date: Sat Jun 13 16:50:02 2009 +0200 Install toplevel library diff --git a/debian/changelog b/debian/changelog index 6da3018..6d8b072 100644