]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_cache/.depend
package dependences calulation fixed
[helm.git] / helm / ocaml / cic_cache / .depend
index 06775e1c610c238394e2e52216c1a0f613a07698..6eb7c8b88ef6dd3ebb9fa75093b0ce8717a10f12 100644 (file)
@@ -1,2 +1,10 @@
-cicCache.cmo: cicCache.cmi 
-cicCache.cmx: cicCache.cmi 
+cicCache.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+cicCache.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    cicCache.cmi 
+cicCache.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    cicCache.cmi