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: Feb 06 2023 at 18:03 UTC