Janno (Apr 06 2021 at 12:39): Janno (Apr 06 2021 at 12:39):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?
Emilio Jesús Gallego Arias (Apr 06 2021 at 12:39):the package is now named coq-core
Janno (Apr 06 2021 at 12:41):Thank you!
Théo Zimmermann (Apr 06 2021 at 13:00):There's a PR which adds a note to this empty package.
Théo Zimmermann (Apr 06 2021 at 13:02):https://github.com/coq/coq/pull/14077
Théo Zimmermann (Apr 06 2021 at 13:03):It's the third independent report on this issue in three days. And there were a few others before then.
Last updated: Apr 20 2024 at 08:02 UTC