[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. upstream/1.0-14-g85c6470

[Ralf Treinen]

The following commit has been merged in the master branch:
commit c6ddcda69e5329e895dda4a1880d401174f781a6
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jan 1 16:23:19 2012 +0100

    debhelper compat level 9

diff --git a/debian/compat b/debian/compat
new file mode 100644
index 0000000..ec63514
--- /dev/null
+++ b/debian/compat
@@ -0,0 +1 @@
+9

-- 
coinst packaging