lib/cps.cmx automath/aut.cmx dual_rg/drgAut.cmi
dual_rg/drgAut.cmx: lib/nUri.cmx common/entity.cmx dual_rg/drg.cmx \
lib/cps.cmx automath/aut.cmx dual_rg/drgAut.cmi
+dual_rg/drgBrg.cmi: dual_rg/drg.cmx basic_rg/brg.cmx
+dual_rg/drgBrg.cmo: common/entity.cmx dual_rg/drg.cmx lib/cps.cmx \
+ basic_rg/brg.cmx dual_rg/drgBrg.cmi
+dual_rg/drgBrg.cmx: common/entity.cmx dual_rg/drg.cmx lib/cps.cmx \
+ basic_rg/brg.cmx dual_rg/drgBrg.cmi
toplevel/meta.cmo: common/entity.cmx
toplevel/meta.cmx: common/entity.cmx
toplevel/metaOutput.cmi: toplevel/meta.cmx