automath/autParser.cmx: automath/aut.cmx automath/autParser.cmi
automath/autLexer.cmo: automath/autParser.cmi
automath/autLexer.cmx: automath/autParser.cmx
+basic_rg/brg.cmo: lib/nUri.cmi automath/aut.cmx
+basic_rg/brg.cmx: lib/nUri.cmx automath/aut.cmx
toplevel/meta.cmo: lib/nUri.cmi automath/aut.cmx
toplevel/meta.cmx: lib/nUri.cmx automath/aut.cmx
toplevel/metaOutput.cmi: toplevel/meta.cmx