@Andrej Dudenhefner and I just noticed that Coq's zenodo entry (https://zenodo.org/record/4021912) which is the one Coq's doi links to does not mention Coq's offical website coq.inria.fr, and in particular it's not obvious how to download Coq from there. That's unfortunate since it might be the first link a reviewer who does not know about Coq clicks - and then sees lots of links to VST, CompCert and GitHub, but not Coq itself

CC @Théo Zimmermann

Thanks for the feedback. Will fix.

some more feedback: I thought the canonical link to the refman was https://coq.inria.fr/distrib/V8.12.0/refman rather than https://coq.github.io/doc/v8.12/refman

it seems very shaky to depend on GitHub for what is basically the only way to directly reference the Coq manual

I've just copied the release notes.

I think I missed your point.

Microsoft closes down GitHub or changes how GitHub pages work, all links to refman in zenodo and release notes become dead (`github.io`

). The `.inria.fr`

links could still live on.

Yes, the `coq.inria.fr`

links still do live on. The refman is currently hosted on GitHub pages but you can access it through a `coq.inria.fr`

facade. It's the case for all these links:

- https://coq.inria.fr/distrib/V8.13+beta1/refman/ -> https://coq.github.io/doc/V8.13+beta1/refman/
- https://coq.inria.fr/distrib/V8.12.2/refman/ -> https://coq.github.io/doc/V8.12.2/refman/
- https://coq.inria.fr/distrib/V8.11.2/refman/ -> https://coq.github.io/doc/V8.11.2/refman/
- https://coq.inria.fr/distrib/V8.10.2/refman/ -> https://coq.github.io/doc/V8.10.2/refman/
- https://coq.inria.fr/distrib/V8.9.1/refman/ -> https://coq.github.io/doc/V8.9.1/refman/

For moving versions, like `v8.13`

(https://coq.github.io/doc/v8.13/refman/), it's less important and thus we do not provide a `coq.inria.fr`

URL.

Last updated: Jun 18 2024 at 22:01 UTC