This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository why.
commit 3b26ba567c031e58c84170746a421a3d8a5b9e5a
Author: Ralf Treinen <trei...@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 <trei...@debian.org> Tue, 15 Mar 2016 20:55:22 +0100
+ -- Ralf Treinen <trei...@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
_______________________________________________
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
