Le mercredi, 30 avril 2014 à 17:28, Sylvain Le Gall a écrit : > You mean that xmlm download number is fake or generated by an automatic script ? Download metrics are rubish anyways, but I'd be glad to have enough time on my hands to allow me to trick opam's download metrics. Daniel