pxpUriResolver.cmi: csc_pxp_reader.cmi 
csc_pxp_reader.cmo: csc_pxp_reader.cmi 
csc_pxp_reader.cmx: csc_pxp_reader.cmi 
pxpUriResolver.cmo: csc_pxp_reader.cmi pxpUriResolver.cmi 
pxpUriResolver.cmx: csc_pxp_reader.cmx pxpUriResolver.cmi