dual_rg/drgAut.cmi: common/entity.cmx dual_rg/drg.cmx automath/aut.cmx
dual_rg/drgAut.cmo: lib/nUri.cmi common/entity.cmx dual_rg/drg.cmx \
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/drgAut.cmi: common/entity.cmx dual_rg/drg.cmx automath/aut.cmx
dual_rg/drgAut.cmo: lib/nUri.cmi common/entity.cmx dual_rg/drg.cmx \
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