last commit for helena 0.8.2

[helm.git] / helm / software / helena / .depend.opt

diff --git a/helm/software/helena/.depend.opt b/helm/software/helena/.depend.opt
index 7c4fa4e93cc47498af07c2da57e0fe20b0ce5ffd..0d53d1bfd048a3ffd14ca638d9b5cd1db88a55c2 100644 (file)
--- a/helm/software/helena/.depend.opt
+++ b/helm/software/helena/.depend.opt
@@ -52,16 +52,13 @@ src/text/txtLexer.cmo : src/text/txtParser.cmi src/common/options.cmx \
     src/lib/log.cmi
 src/text/txtLexer.cmx : src/text/txtParser.cmx src/common/options.cmx \
     src/lib/log.cmx
-src/text/txtTxt.cmi : src/text/txt.cmx
-src/text/txtTxt.cmo : src/text/txt.cmx src/lib/cps.cmx src/text/txtTxt.cmi
-src/text/txtTxt.cmx : src/text/txt.cmx src/lib/cps.cmx src/text/txtTxt.cmi
 src/text/txtCrg.cmi : src/text/txt.cmx src/complete_rg/crg.cmx
-src/text/txtCrg.cmo : src/text/txtTxt.cmi src/text/txt.cmx \
-    src/common/options.cmx src/common/hierarchy.cmi src/common/entity.cmx \
-    src/complete_rg/crg.cmx src/lib/cps.cmx src/text/txtCrg.cmi
-src/text/txtCrg.cmx : src/text/txtTxt.cmx src/text/txt.cmx \
-    src/common/options.cmx src/common/hierarchy.cmx src/common/entity.cmx \
-    src/complete_rg/crg.cmx src/lib/cps.cmx src/text/txtCrg.cmi
+src/text/txtCrg.cmo : src/text/txt.cmx src/common/options.cmx \
+    src/common/hierarchy.cmi src/common/entity.cmx src/complete_rg/crg.cmx \
+    src/lib/cps.cmx src/text/txtCrg.cmi
+src/text/txtCrg.cmx : src/text/txt.cmx src/common/options.cmx \
+    src/common/hierarchy.cmx src/common/entity.cmx src/complete_rg/crg.cmx \
+    src/lib/cps.cmx src/text/txtCrg.cmi
 src/automath/aut.cmo : src/common/entity.cmx
 src/automath/aut.cmx : src/common/entity.cmx
 src/automath/autProcess.cmi : src/automath/aut.cmx
@@ -123,11 +120,11 @@ src/basic_rg/brgOutput.cmi : src/xml/xmlLibrary.cmi src/lib/log.cmi \
 src/basic_rg/brgOutput.cmo : src/xml/xmlCrg.cmi src/common/options.cmx \
     src/lib/log.cmi src/common/layer.cmi src/common/hierarchy.cmi \
     src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brgCrg.cmi \
-    src/basic_rg/brg.cmx src/basic_rg/brgOutput.cmi
+    src/basic_rg/brg.cmx src/common/alpha.cmi src/basic_rg/brgOutput.cmi
 src/basic_rg/brgOutput.cmx : src/xml/xmlCrg.cmx src/common/options.cmx \
     src/lib/log.cmx src/common/layer.cmx src/common/hierarchy.cmx \
     src/common/entity.cmx src/lib/cps.cmx src/basic_rg/brgCrg.cmx \
-    src/basic_rg/brg.cmx src/basic_rg/brgOutput.cmi
+    src/basic_rg/brg.cmx src/common/alpha.cmx src/basic_rg/brgOutput.cmi
 src/basic_rg/brgEnvironment.cmi : src/basic_rg/brg.cmx
 src/basic_rg/brgEnvironment.cmo : src/common/entity.cmx \
     src/basic_rg/brgEnvironment.cmi