Repro test: no hint about missing depext

Open ElectreAAS opened this issue 1 month ago • 1 comments

Reproduction PR for #12855

Dec 03 '25 13:12 ElectreAAS

(That will mean writing the lock file by hand like we do for other tests. That way we can get rid of the dune pkg lock step).

Dec 09 '25 09:12 Alizter