The following commit has been merged in the master branch:
commit e57d08fcbc14801c9edb1f4f40976fcca8180302
Author: Stephane Glondu <st...@glondu.net>
Date:   Sun Jun 23 20:38:11 2013 +0200

    Update debian/watch

diff --git a/debian/watch b/debian/watch
index 7e9b995..f66cadb 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,2 +1,2 @@
 version=3
-http://ocaml.janestreet.com/?q=node/13 .*/fieldslib-(.*)\.tar\.gz
+http://githubredir.debian.net/github/janestreet/fieldslib 
/(\d+\.\d+\.\d+)\.tar\.gz

-- 
fieldslib packaging

_______________________________________________
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

Reply via email to