coqdep on 8.15.1:
$ coqdep foo No such file or directory
And here is
coqdep on master:
coqdep foo *** Error: Anomaly "Uncaught exception Coqdeplib.Common.Cannot_stat_file("foo", 20)." Please report at http://coq.inria.fr/bugs/.
Is this really a reasonable output? You may get a lot of bug reports this way.
maybe an oversight of https://github.com/coq/coq/pull/15953
Thanks for the report, I'll work on a patch today.
Last updated: Dec 01 2023 at 07:01 UTC