1 grafiteDisambiguate.cmi:
2 lexiconSync.cmi: grafiteDisambiguate.cmi
3 grafiteDisambiguate.cmo: grafiteDisambiguate.cmi
4 grafiteDisambiguate.cmx: grafiteDisambiguate.cmi
5 lexiconSync.cmo: grafiteDisambiguate.cmi lexiconSync.cmi
6 lexiconSync.cmx: grafiteDisambiguate.cmx lexiconSync.cmi