coqdep: Replacing anomaly with a warning on non-existing directory.
coqdep: Replacing anomaly with a warning on non-existing directory.

That is: replace
*** Error: Anomaly
           "Uncaught exception Sys_error("hjg: No such file or directory")."
           Please report at http://coq.inria.fr/bugs/.
with
*** Warning: cannot open jkhxx

ejgallego/coq,ejgallego/coq,coq/coq,ejgallego/coq,coq/coq,Zimmi48/coq,Zimmi48/coq,SkySkimmer/coq,SkySkimmer/coq,coq/coq,Zimmi48/coq,coq/coq,SkySkimmer/coq,ejgallego/coq,Zimmi48/coq,SkySkimmer/coq