(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: Jun 10 2023 at 06:31 UTC