Stream: Coq devs & plugin devs

Topic: coqdep supporting `From ... Require ...`

view this post on Zulip Jason Gross (Apr 27 2022 at 17:39):

(When) was coqdep fixed to not pick the wrong file for From ... Require ...?

view this post on Zulip Paolo Giarrusso (Apr 27 2022 at 17:48):

In 8.15.0. do you need the exact MR?

view this post on Zulip Ali Caglayan (Apr 27 2022 at 18:28):

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

Last updated: Feb 01 2023 at 16:03 UTC