+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