Stream: Coq devs & plugin devs

Topic: usr/doc/coq-core/README.md

view this post on Zulip Jason Gross (Nov 11 2022 at 15:07):

It seems that the v8.16 branch stopped installing usr/doc/coq-core/README.md sometime around (before) July 25. Was this intentional?

Last updated: Jun 09 2023 at 07:01 UTC