Thanks Anil. -- *Paolo* -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.ocaml.org/pipermail/opam-devel/attachments/20140911/7f9a87a9/attachment.html>