[Pkg-ocaml-maint-commits] [SCM] ceve packaging branch, master, updated. debian/1.4-2-3-g1dfea99

2013-05-09 Thread Ralf Treinen
The following commit has been merged in the master branch: commit ea013e70d7c7c87baae0ae05a6f13b09f585e5a9 Author: Ralf Treinen Date: Tue May 7 21:19:48 2013 +0200 transtional package to dose-extra diff --git a/debian/ceve.manpages b/debian/ceve.manpages deleted file mode 100644 index 0aab

[Pkg-ocaml-maint-commits] [SCM] ceve packaging branch, master, updated. debian/1.4-2-3-g1dfea99

2013-05-09 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 1dfea99d42620705fa43e15d67878e2cc8bf39bf Author: Ralf Treinen Date: Thu May 9 20:08:00 2013 +0200 bump standards-version diff --git a/debian/changelog b/debian/changelog index b7ef352..996ab30 100644 --- a/debian/changelog +