[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.1-3-27-gabb5c8e

[Stephane Glondu]

The following commit has been merged in the master branch:
commit bf92cea187dbcb2b1dfb4865812aa952ab50cd8f
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 7 16:04:12 2010 +0100

    Add debian/watch

diff --git a/debian/watch b/debian/watch
new file mode 100644
index 0000000..99434ce
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,3 @@
+version=3
+
+http://coq.inria.fr/download distrib/[^/]+/files/coq-(.*)\.tar\.gz

-- 
coq-doc packaging