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
There's a PR which adds a note to this empty package.
It's the third independent report on this issue in three days. And there were a few others before then.
Last updated: Oct 16 2021 at 03:02 UTC