CoreCrypto.cmo : ../../../ucontrib/Platform/ml/platform.cmo CoreCrypto.cmi
CoreCrypto.cmx : ../../../ucontrib/Platform/ml/platform.cmx CoreCrypto.cmi
CoreCrypto.cmi : ../../../ucontrib/Platform/ml/platform.cmo
DHDB.cmo : ../../../ucontrib/Platform/ml/platform.cmo db/DB.cmi \
    CoreCrypto.cmi
DHDB.cmx : ../../../ucontrib/Platform/ml/platform.cmx db/DB.cmx \
    CoreCrypto.cmx
Tests.cmo : ../../../ucontrib/Platform/ml/platform.cmo CoreCrypto.cmi
Tests.cmx : ../../../ucontrib/Platform/ml/platform.cmx CoreCrypto.cmx
