From ffde84a5b885437ad9e8e9ef5935b48dc6723f75 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 15 Dec 2008 22:55:17 +0000 Subject: [PATCH] dep.opt regenerated --- helm/software/components/ng_refiner/.depend.opt | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/helm/software/components/ng_refiner/.depend.opt b/helm/software/components/ng_refiner/.depend.opt index c8ccb5d0c..11418eb59 100644 --- a/helm/software/components/ng_refiner/.depend.opt +++ b/helm/software/components/ng_refiner/.depend.opt @@ -1,11 +1,14 @@ -nCicCoercion.cmi: nDiscriminationTree.cmi +nCicUnification.cmi: nCicUnifHint.cmi +nCicRefiner.cmi: nCicUnifHint.cmi nDiscriminationTree.cmo: nDiscriminationTree.cmi nDiscriminationTree.cmx: nDiscriminationTree.cmi nCicMetaSubst.cmo: nCicMetaSubst.cmi nCicMetaSubst.cmx: nCicMetaSubst.cmi -nCicCoercion.cmo: nDiscriminationTree.cmi nCicCoercion.cmi -nCicCoercion.cmx: nDiscriminationTree.cmx nCicCoercion.cmi -nCicUnification.cmo: nCicMetaSubst.cmi nCicUnification.cmi -nCicUnification.cmx: nCicMetaSubst.cmx nCicUnification.cmi +nCicCoercion.cmo: nDiscriminationTree.cmi nCicMetaSubst.cmi nCicCoercion.cmi +nCicCoercion.cmx: nDiscriminationTree.cmx nCicMetaSubst.cmx nCicCoercion.cmi +nCicUnifHint.cmo: nDiscriminationTree.cmi nCicMetaSubst.cmi nCicUnifHint.cmi +nCicUnifHint.cmx: nDiscriminationTree.cmx nCicMetaSubst.cmx nCicUnifHint.cmi +nCicUnification.cmo: nCicUnifHint.cmi nCicMetaSubst.cmi nCicUnification.cmi +nCicUnification.cmx: nCicUnifHint.cmx nCicMetaSubst.cmx nCicUnification.cmi nCicRefiner.cmo: nCicUnification.cmi nCicMetaSubst.cmi nCicRefiner.cmi nCicRefiner.cmx: nCicUnification.cmx nCicMetaSubst.cmx nCicRefiner.cmi -- 2.39.2