ocsimisc.cmo: ocsimisc.cmi 
ocsimisc.cmx: ocsimisc.cmi 
messages.cmo: ocsimisc.cmi ocsiconfig.cmi messages.cmi 
messages.cmx: ocsimisc.cmx ocsiconfig.cmx messages.cmi 
ocsiconfig.cmo: ocsimisc.cmi ocsiconfig.cmi 
ocsiconfig.cmx: ocsimisc.cmx ocsiconfig.cmi 
