The following commit has been merged in the master branch:
commit 3b7b401567babcf76963a500a8ac858c5f3e7e04
Author: Stephane Glondu <st...@glondu.net>
Date:   Wed Nov 16 16:47:26 2011 +0100

    Update debian/watch

diff --git a/debian/watch b/debian/watch
index 4d50c56..833e756 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,2 +1,2 @@
 version=3
-http://ocaml.janestreet.com/?q=node/13 .*/core-(.*)\.tgz
+http://ocaml.janestreet.com/?q=node/13 .*/core-(.*)\.t(?:ar\.)gz

-- 
janest-core 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