[ocaml-infra] caml.inria.fr/pub will be down in Jan 2016 for 48 hours

[Christophe Troestler]

On Thu, 1 Oct 2015 15:06:52 -0400, Ashish Agarwal wrote:
> 
> Xavier informed us that that caml.inria.fr will be down in Jan 2016 for 48 hours [1]. Just thought I'd mention it here, as it might affect certain services like opam.
> 
> OCaml.org does still have links to that domain, but I don't consider it too terrible for those links to be dead for a short period of time. (As a reminder, all of caml.inria.fr is deprecated, except for caml.inria.fr/pub/*, which continues to be the source of static content such as tarballs.)

It is not terrible but, on the other hand, setting up a mirror may not be terribly difficult either and redundancy is always good. :-)