This website moved to coq.io/opam.