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 <me...@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
_______________________________________________
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
