Stream: Coq users

Topic: Some Coq servers down

view this post on Zulip Michael Soegtrop (Nov 29 2022 at 09:24):

Apparently some Coq web servers are down, e.g. the manual and the Coq opam repo. INRIA is working on it, but it might take a bit.

For the manual the master branch version is still available here (

If you desperately needs to setup a fresh opam (say via Coq Platform) you can use the git repo ( If you need instructions for this please ping me. I would have to figure out the exact details myself, but essentially in Coq Platform one would have to change the URLs here (

view this post on Zulip Théo Zimmermann (Nov 29 2022 at 12:15):

You can also get a released version of the manual like this:

Last updated: Oct 03 2023 at 02:34 UTC