A link from [opam FAQ](https://opam.ocaml.org/doc/FAQ.html) brought me here -- I don't have an interest in Coq at the moment (but I learned it back in the day!)
