[Pkg-ocaml-maint-commits] [hol-light] 01/01: Update watch file

[Mehdi Dogguy]

This is an automated email from the git hooks/post-receive script.

mehdi pushed a commit to branch master
in repository hol-light.

commit a5735d4d75020cc4f86822f9b90e40bfcd94d2de
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jul 17 19:47:45 2016 +0200

    Update watch file
---
 debian/watch | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/debian/watch b/debian/watch
index fb7467b..f88798d 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,8 +1,7 @@
-# format version number, currently 3; this line is compulsory!
 version=3
+#https://github.com/jrh13/hol-light/tags/ .*/([\d\.+]+)\.tar\.gz
 
-# The upstream version of HOL Light is only available as svn repository
-# at http://hol-light.googlecode.com/svn/trunk . There are no releases.
+# The upstream version of HOL Light is only available as a git repository
+# at https://github.com/jrh13/hol-light/ . There are no releases.
 # 
-# If there is a way to let uscan check svn revision numbers then please
-# tell me!
+# If there is a way to let uscan check git commits then please tell me!

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git