1 matitaSync.cmi: grafiteTypes.cmi
2 grafiteEngine.cmi: grafiteTypes.cmi
3 grafiteTypes.cmo: grafiteTypes.cmi
4 grafiteTypes.cmx: grafiteTypes.cmi
5 disambiguatePp.cmo: disambiguatePp.cmi
6 disambiguatePp.cmx: disambiguatePp.cmi
7 matitaSync.cmo: grafiteTypes.cmi disambiguatePp.cmi matitaSync.cmi
8 matitaSync.cmx: grafiteTypes.cmx disambiguatePp.cmx matitaSync.cmi
9 grafiteMisc.cmo: grafiteMisc.cmi
10 grafiteMisc.cmx: grafiteMisc.cmi
11 grafiteEngine.cmo: matitaSync.cmi grafiteTypes.cmi grafiteMisc.cmi \
13 grafiteEngine.cmx: matitaSync.cmx grafiteTypes.cmx grafiteMisc.cmx \