Stream: Coq devs & plugin devs

Topic: Renaming the shims

view this post on Zulip Ali Caglayan (Sep 28 2022 at 22:30):

I'm proposing to drop -prelude FTR: https://github.com/coq/coq/pull/16570

Last updated: Oct 13 2024 at 01:02 UTC