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