-nUri.cmi:
nReference.cmi: nUri.cmi
nCicUtils.cmi: nCic.cmo
nCicSubstitution.cmi: nCic.cmo
oCic2NCic.cmi: nUri.cmi nReference.cmi nCic.cmo
nCic2OCic.cmi: nUri.cmi nReference.cmi nCic.cmo
nCicLibrary.cmi: nUri.cmi nCic.cmo
-nCicPp.cmi: nCic.cmo
+nCicPp.cmi: nReference.cmi nCic.cmo
nCicEnvironment.cmi: nUri.cmi nReference.cmi nCic.cmo
nCicReduction.cmi: nCic.cmo
nCicTypeChecker.cmi: nUri.cmi nReference.cmi nCic.cmo