-buildTimeConf.cmo: buildTimeConf.cmi
-buildTimeConf.cmx: buildTimeConf.cmi
-dump_moo.cmo: buildTimeConf.cmi
-dump_moo.cmx: buildTimeConf.cmx
-gragrep.cmo: matitaInit.cmi buildTimeConf.cmi gragrep.cmi
-gragrep.cmx: matitaInit.cmx buildTimeConf.cmx gragrep.cmi