The following commit has been merged in the master branch:
commit f94dbdbdce90f72b042911e806fc9a65e97723e8
Author: Stephane Glondu <st...@glondu.net>
Date:   Sat Jun 22 16:09:27 2013 +0200

    Update debian/watch

diff --git a/debian/watch b/debian/watch
index 4d8ca8d..469370a 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,2 +1,2 @@
 version=3
-http://forge.ocamlcore.org/frs/?group_id=254 .*/bin-prot-(.*)\.tar\.gz
+http://githubredir.debian.net/github/janestreet/bin_prot 
/(\d+\.\d+\.\d+)\.tar\.gz

-- 
bin-prot 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