opam on Windows

[ksami]

Is installing opam necessary for Coq on Windows? Or is it enough to get the Windows binary from the Coq downloads page?

[jeehoonkang]

• It is enough to get the Windows binary from the Coq download page.
• Opam and OCaml is required to build Coq on yourself.