[ocaml-platform] Downtime on erratique.ch 2017-01-05 21:00-23:00 UTC

[Daniel Bünzli]

Emergency downtime on erratique.ch (reboot) 2017-01-05 21:00-23:00 UTC due to bugs you certainly have heard of.

This may affect opam's experience for a short while. Sorry for the inconvenience. 

Best,

Daniel