The following commit has been merged in the master branch:
commit 64296b96c74e2318187f4eca15041ee8be9a66d5
Author: Stephane Glondu <st...@glondu.net>
Date: Mon Jun 17 17:17:07 2013 +0200
Fix debian/watch
diff --git a/debian/watch b/debian/watch
index ec54e68..8c1866a 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,2 +1,2 @@
version=3
-https://ocaml.janestreet.com/ocaml-core/latest/individual/
.*/type_conv-(.*)\.tar\.gz
+https://ocaml.janestreet.com/ocaml-core/latest/individual/
type_conv-(.*)\.tar\.gz
--
type-conv 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
