[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 2190cff0112f96f047575a56338df9978b91d1fb
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jan 1 16:48:10 2012 +0100

    added debian/watch

diff --git a/debian/watch b/debian/watch
new file mode 100644
index 0000000..a1bb9e3
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,2 @@
+version=3
+http://www.pps.jussieu.fr/~vouillon/coinst/coinst-([\d.]*).tar.gz
\ No newline at end of file

-- 
coinst packaging