https://coq.github.io/doc/master/api/coq/ has been empty for a few weeks now. Is this on purpose? Is there an alternative link I could use?
the package is now named coq-core
Thank you!
There's a PR which adds a note to this empty package.
https://github.com/coq/coq/pull/14077
It's the third independent report on this issue in three days. And there were a few others before then.
Last updated: Jun 08 2023 at 04:01 UTC