Stream: Coq devs & plugin devs

Topic: Coq OCaml API on coq.github.io disappeared


view this post on Zulip 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?

view this post on Zulip Emilio Jesús Gallego Arias (Apr 06 2021 at 12:39):

the package is now named coq-core

view this post on Zulip Janno (Apr 06 2021 at 12:41):

Thank you!

view this post on Zulip Théo Zimmermann (Apr 06 2021 at 13:00):

There's a PR which adds a note to this empty package.

view this post on Zulip Théo Zimmermann (Apr 06 2021 at 13:02):

https://github.com/coq/coq/pull/14077

view this post on Zulip 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: Oct 16 2021 at 03:02 UTC