symbolic links to use the uri manager from ng_kernel

[helm.git] / helm / software / lambda-delta / .depend.opt

diff --git a/helm/software/lambda-delta/.depend.opt b/helm/software/lambda-delta/.depend.opt
index f5f529ef70ec8db3f3549e989e227af15506b37c..3ae365e6dec6f598685926957bd82ff7659c777e 100644 (file)
--- a/helm/software/lambda-delta/.depend.opt
+++ b/helm/software/lambda-delta/.depend.opt
@@ -1,3 +1,5 @@
+lib/nUri.cmo: lib/nUri.cmi 
+lib/nUri.cmx: lib/nUri.cmi 
 automath/autOutput.cmi: automath/aut.cmx 
 automath/autOutput.cmo: lib/cps.cmx automath/aut.cmx automath/autOutput.cmi 
 automath/autOutput.cmx: lib/cps.cmx automath/aut.cmx automath/autOutput.cmi