nCic.cmo : \
    nUri.cmi \
    nReference.cmi
nCic.cmx : \
    nUri.cmx \
    nReference.cmx
nCicEnvironment.cmo : \
    nUri.cmi \
    nReference.cmi \
    nCic.cmo \
    nCicEnvironment.cmi
nCicEnvironment.cmx : \
    nUri.cmx \
    nReference.cmx \
    nCic.cmx \
    nCicEnvironment.cmi
nCicEnvironment.cmi : \
    nUri.cmi \
    nReference.cmi \
    nCic.cmo
nCicPp.cmo : \
    nUri.cmi \
    nReference.cmi \
    nCicSubstitution.cmi \
    nCicReduction.cmi \
    nCicEnvironment.cmi \
    nCic.cmo \
    nCicPp.cmi
nCicPp.cmx : \
    nUri.cmx \
    nReference.cmx \
    nCicSubstitution.cmx \
    nCicReduction.cmx \
    nCicEnvironment.cmx \
    nCic.cmx \
    nCicPp.cmi
nCicPp.cmi : \
    nReference.cmi \
    nCic.cmo
nCicReduction.cmo : \
    nReference.cmi \
    nCicUtils.cmi \
    nCicSubstitution.cmi \
    nCicEnvironment.cmi \
    nCic.cmo \
    nCicReduction.cmi
nCicReduction.cmx : \
    nReference.cmx \
    nCicUtils.cmx \
    nCicSubstitution.cmx \
    nCicEnvironment.cmx \
    nCic.cmx \
    nCicReduction.cmi
nCicReduction.cmi : \
    nCic.cmo
nCicSubstitution.cmo : \
    nCicUtils.cmi \
    nCic.cmo \
    nCicSubstitution.cmi
nCicSubstitution.cmx : \
    nCicUtils.cmx \
    nCic.cmx \
    nCicSubstitution.cmi
nCicSubstitution.cmi : \
    nCic.cmo
nCicTypeChecker.cmo : \
    nUri.cmi \
    nReference.cmi \
    nCicUtils.cmi \
    nCicSubstitution.cmi \
    nCicReduction.cmi \
    nCicEnvironment.cmi \
    nCic.cmo \
    nCicTypeChecker.cmi
nCicTypeChecker.cmx : \
    nUri.cmx \
    nReference.cmx \
    nCicUtils.cmx \
    nCicSubstitution.cmx \
    nCicReduction.cmx \
    nCicEnvironment.cmx \
    nCic.cmx \
    nCicTypeChecker.cmi
nCicTypeChecker.cmi : \
    nUri.cmi \
    nReference.cmi \
    nCic.cmo
nCicUntrusted.cmo : \
    nReference.cmi \
    nCicUtils.cmi \
    nCicSubstitution.cmi \
    nCicReduction.cmi \
    nCicEnvironment.cmi \
    nCic.cmo \
    nCicUntrusted.cmi
nCicUntrusted.cmx : \
    nReference.cmx \
    nCicUtils.cmx \
    nCicSubstitution.cmx \
    nCicReduction.cmx \
    nCicEnvironment.cmx \
    nCic.cmx \
    nCicUntrusted.cmi
nCicUntrusted.cmi : \
    nCic.cmo
nCicUtils.cmo : \
    nCic.cmo \
    nCicUtils.cmi
nCicUtils.cmx : \
    nCic.cmx \
    nCicUtils.cmi
nCicUtils.cmi : \
    nCic.cmo
nReference.cmo : \
    nUri.cmi \
    nReference.cmi
nReference.cmx : \
    nUri.cmx \
    nReference.cmi
nReference.cmi : \
    nUri.cmi
nUri.cmo : \
    nUri.cmi
nUri.cmx : \
    nUri.cmi
nUri.cmi :