[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 0c5193401214bafd01d4899859484ccf1dfdbf7b
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jan 1 16:45:50 2012 +0100

    add an install file for the main binary

diff --git a/debian/coinst.install b/debian/coinst.install
new file mode 100644
index 0000000..e7a3128
--- /dev/null
+++ b/debian/coinst.install
@@ -0,0 +1 @@
+coinst		/usr/bin

-- 
coinst packaging