(When) was coqdep fixed to not pick the wrong file for From ... Require ...?
From ... Require ...
In 8.15.0. do you need the exact MR?
https://github.com/coq/coq/pull/14718
Last updated: Dec 07 2023 at 14:02 UTC