[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.13-1-8-ge94664e

2012-03-14 Thread Ralf Treinen
The following commit has been merged in the master branch: commit e94664e1dfca03ff9414477968a9f6d12004d266 Author: Ralf Treinen Date: Wed Mar 14 18:39:05 2012 +0100 build and install the debcheck primer diff --git a/debian/changelog b/debian/changelog index 96bceee..d2f74c9 100644 --- a/de

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.13-1-8-ge94664e

2012-03-14 Thread Ralf Treinen
The following commit has been merged in the master branch: commit e8ead04ec8209766b07de428c7f91197616cdd41 Author: Ralf Treinen Date: Wed Mar 14 18:14:50 2012 +0100 debian/copyright: machine-readable format 1.0. Standards-version 3.9.3 diff --git a/debian/changelog b/debian/changelog index

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.13-1-8-ge94664e

2012-03-14 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 59b1ff2062a5b5ebbf0ab23be590a0eb2f6dc606 Author: Ralf Treinen Date: Wed Mar 14 17:57:28 2012 +0100 dose-* binary packages Replace the correspodning dose3-* packages diff --git a/debian/changelog b/debian/changelog index a62a