Indeed ocsigen.org is down, due to a network outage at Inria (probably hardware problem). The Inria network engineers team is working on this, but they couldn't tell us when this will be solved (hopefully today). We're very sorry for the inconvenience.