Coqのサイトが見れない

なぜかCoqのサイトやOCamlのサイトなどが見れない。
困った。

同じようなページが↓にあるようだ。とりあえず、ここを参考にしよう。
http://pauillac.inria.fr/coq/coq-eng.html