[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.4-2-24-ga7c81d2

2011-06-12 Thread Stefano Zacchiroli
The following commit has been merged in the master branch: commit a7c81d27c1925e0909455268578449597dd7265e Author: Stefano Zacchiroli Date: Sun Jun 12 09:42:15 2011 +0200 debian/copyright: cover packaging work and update-cudf-solvers diff --git a/debian/changelog b/debian/changelog index 1

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.4-2-24-ga7c81d2

2011-06-12 Thread Stefano Zacchiroli
The following commit has been merged in the master branch: commit bf0a02b8995e87964ce502f583ffde1e15b19e14 Author: Stefano Zacchiroli Date: Sun Jun 12 09:39:49 2011 +0200 new upstream release diff --git a/debian/changelog b/debian/changelog index cd240d4..168bad3 100644 --- a/debian/change

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.4-2-24-ga7c81d2

2011-06-12 Thread Stefano Zacchiroli
The following commit has been merged in the master branch: commit 20c7e09d53dc146ef05fb2649667aaec0e982e60 Merge: b0cd288290da53e3c397299bb0c37d594e8b92f1 a1fee0e0b1b80450eef8d56f3341052cf9f80883 Author: Stefano Zacchiroli Date: Sun Jun 12 09:37:28 2011 +0200 Merge commit 'upstream/2.9.8'