arithmetics for λδ

[helm.git] / helm / software / components / ng_disambiguation / .depend

diff --git a/helm/software/components/ng_disambiguation/.depend b/helm/software/components/ng_disambiguation/.depend
index 2de54dc5eaedce21d8850cc5f76cc76f38331752..eb813b12d265a8f02248b7ecebeb313a56e211f7 100644 (file)
--- a/helm/software/components/ng_disambiguation/.depend
+++ b/helm/software/components/ng_disambiguation/.depend
@@ -1,3 +1,5 @@
-nCicDisambiguate.cmi: 
-nCicDisambiguate.cmo: nCicDisambiguate.cmi 
-nCicDisambiguate.cmx: nCicDisambiguate.cmi 
+nCicDisambiguate.cmi :
+nCicDisambiguate.cmo : nCicDisambiguate.cmi
+nCicDisambiguate.cmx : nCicDisambiguate.cmi
+nnumber_notation.cmo :
+nnumber_notation.cmx :