The following commit has been merged in the master branch:
commit 0c5193401214bafd01d4899859484ccf1dfdbf7b
Author: Ralf Treinen <trei...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to