The following commit has been merged in the master branch:
commit 503c0cd19d32e9a8c299a958a49a3450318b744f
Author: Stephane Glondu <st...@glondu.net>
Date: Fri May 10 10:48:43 2013 +0200
Update debian/watch
diff --git a/debian/watch b/debian/watch
index 470e637..8159e37 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,3 @@
version=3
-opts="uversionmangle=s/-(rc|beta)/~$1/,dversionmangle=s/\+dfsg\d*$//" \
+opts="uversionmangle=s/-(rc|beta|pre)/~$1/,dversionmangle=s/\+dfsg\d*$//" \
http://ocsigen.org/download/eliom-([0-9].*)\.tar\.gz
--
eliom 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
