file1.notfound.deps

Warning: in file misc/external-deps/file1.v, external file d1 is required
         from root foo.bar and has not been found in the loadpath!
         [module-not-found,filesystem,default]
misc/external-deps/file1.vo misc/external-deps/file1.glob misc/external-deps/file1.v.beautified misc/external-deps/file1.required_vo: misc/external-deps/file1.v 
misc/external-deps/file1.vio: misc/external-deps/file1.v