mlgmp/gmp.cmo: mlgmp/gmp.cmi 
mlgmp/gmp.cmx: mlgmp/gmp.cmi 
cmpf.cmi: mlgmp/gmp.cmi 
creal.cmi: mlgmp/gmp.cmi 
creal_pp.cmi: creal.cmi 
gmp_pp.cmi: mlgmp/gmp.cmi 
calc.cmo: creal.cmi mlgmp/gmp.cmi 
calc.cmx: creal.cmx mlgmp/gmp.cmx 
cmpf.cmo: creal.cmi mlgmp/gmp.cmi cmpf.cmi 
cmpf.cmx: creal.cmx mlgmp/gmp.cmx cmpf.cmi 
creal.cmo: mlgmp/gmp.cmi creal.cmi 
creal.cmx: mlgmp/gmp.cmx creal.cmi 
creal_pp.cmo: creal.cmi creal_pp.cmi 
creal_pp.cmx: creal.cmx creal_pp.cmi 
gmp_pp.cmo: mlgmp/gmp.cmi gmp_pp.cmi 
gmp_pp.cmx: mlgmp/gmp.cmx gmp_pp.cmi 
test.cmo: creal.cmi mlgmp/gmp.cmi 
test.cmx: creal.cmx mlgmp/gmp.cmx 
