[Pkg-ocaml-maint-commits] [alt-ergo] 01/01: debian/watch : new site @ ocamlpro

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository alt-ergo.

commit 4363a13d076bf7b41c0bfdde2cfdb847f1f000e3
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Nov 5 08:46:18 2013 +0100

    debian/watch : new site @ ocamlpro
---
 debian/changelog |    6 ++++++
 debian/watch     |    3 ++-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 01f03f2..c38cc3f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+alt-ergo (0.95.1-4) UNRELEASED; urgency=low
+
+  * update debian/watch, now points to ocamlpro site.
+
+ -- Ralf Treinen <treinen at debian.org>  Tue, 05 Nov 2013 08:45:44 +0100
+
 alt-ergo (0.95.1-3) unstable; urgency=low
 
   * make libalt-ergo-ocaml-dev conflict and replace with alt-ergo (<<
diff --git a/debian/watch b/debian/watch
index 45e32e5..2c93402 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,2 +1,3 @@
 version=3
-http://alt-ergo.lri.fr/http/alt-ergo-([\d\.]+)/alt-ergo-([\d\.]+)\.tar\.gz
+opts=filenamemangle=s/.*=(.*)/$1\.tar\.gz/ \
+http://alt-ergo.ocamlpro.com/download.php download_manager\.php\?target=alt-ergo-([\d\.]+)\.tar\.gz
\ No newline at end of file

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