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