Release 0.5.9.

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

diff --git a/helm/software/components/cic_unification/.depend b/helm/software/components/cic_unification/.depend
index 2e054f73d4e69376cc89138609538274bd8fe6d8..a7b23ceb4e8ba6ae3fdc2fa8352ce69acbde78b0 100644 (file)
--- a/helm/software/components/cic_unification/.depend
+++ b/helm/software/components/cic_unification/.depend
@@ -1,10 +1,3 @@
-cicMetaSubst.cmi: 
-cicMkImplicit.cmi: 
-termUtil.cmi: 
-coercGraph.cmi: 
-cicUnification.cmi: 
-cicReplace.cmi: 
-cicRefine.cmi: 
 cicMetaSubst.cmo: cicMetaSubst.cmi 
 cicMetaSubst.cmx: cicMetaSubst.cmi 
 cicMkImplicit.cmo: cicMkImplicit.cmi