creal.cmo: gmp.cmi creal.cmi
creal.cmx: gmp.cmx creal.cmi
creal_pp.cmo: creal.cmi creal_pp.cmi
creal_pp.cmx: creal.cmx creal_pp.cmi
essai.cmo: gmp.cmi
essai.cmx: gmp.cmx
gmp.cmo: gmp.cmi
gmp.cmx: gmp.cmi
install_creal_pp.cmo:
install_creal_pp.cmx:
install_pp.cmo:
install_pp.cmx:
pretty_gmp.cmo: gmp.cmi pretty_gmp.cmi
pretty_gmp.cmx: gmp.cmx pretty_gmp.cmi
test_creal.cmo: gmp.cmi creal.cmi
test_creal.cmx: gmp.cmx creal.cmx
test_mlgmp.cmo: gmp.cmi
test_mlgmp.cmx: gmp.cmx
test_suite.cmo: gmp.cmi
test_suite.cmx: gmp.cmx
creal.cmi: gmp.cmi
creal_pp.cmi: creal.cmi
gmp.cmi:
pretty_gmp.cmi: gmp.cmi
