[Pkg-ocaml-maint-commits] [aac-tactics] 02/09: New upstream URL & watch file

[Nicolas Braud-Santoni]

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

nicoo-guest pushed a commit to branch master
in repository aac-tactics.

commit 2614d6df738735538ea381e44bad1279269676c1
Author: Nicolas Braud-Santoni <nicolas at braud-santoni.eu>
Date:   Sat Jul 23 16:20:41 2016 -0400

    New upstream URL & watch file
---
 debian/control | 2 +-
 debian/watch   | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index e5ea67a..d1604bd 100644
--- a/debian/control
+++ b/debian/control
@@ -10,7 +10,7 @@ Build-Depends:
  coq (>= 8.4dfsg-2~),
  libcoq-ocaml-dev
 Standards-Version: 3.9.6
-Homepage: http://www.lix.polytechnique.fr/coq/pylons/contribs/view/AACTactics/trunk
+Homepage: https://github.com/coq-contribs/aac-tactics
 Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/aac-tactics.git
 Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git
 
diff --git a/debian/watch b/debian/watch
new file mode 100644
index 0000000..11017f4
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,3 @@
+version=3
+opts=filenamemangle=s/.+\/v?(\d\S*)\.tar\.gz/aac-tactics-$1\.tar\.gz/ \
+  https://github.com/coq-contribs/aac-tactics/releases .*/v(\d+\.\d.\d)\.tar\.gz

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