[Pkg-ocaml-maint-commits] [why] 04/10: update debian/watch

[Ralf Treinen]

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

treinen pushed a commit to branch try
in repository why.

commit f85dddcc628c2c69e815af859a0af42992378833
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Sep 20 20:36:48 2016 +0200

    update debian/watch
---
 debian/changelog | 4 ++--
 debian/watch     | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index f5e731b..3004350 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,10 +7,10 @@ why (2.35-1) UNRELEASED; urgency=medium
   * Dropped build-dependency on libfloat-coq (closes: #815684)
   * debian/watch:
     - format version 4
-    - get link to newest version from the why home page (instead of
+    - get link to newest version from the krakatoa home page (instead of
       trying to read the download/ directory).
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 15 Mar 2016 20:55:22 +0100
+ -- Ralf Treinen <treinen at debian.org>  Tue, 20 Sep 2016 20:36:02 +0200
 
 why (2.34-4) unstable; urgency=medium
 
diff --git a/debian/watch b/debian/watch
index 7aa4913..0198c3d 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,4 +1,4 @@
 version=4
 
 opts="dversionmangle=s/\.dfsg[\.0-9]*$//" \
-http://why.lri.fr/ download/why-([0-9a-z\.]*)\.tar\.gz
+http://krakatoa.lri.fr http://why.lri.fr/download/why-([0-9a-z\.]*)\.tar\.gz

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