]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/cic_cache/.depend
package dependences calulation fixed
[helm.git] / helm / ocaml / cic_cache / .depend
1 cicCache.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
2     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
3 cicCache.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmi \
4     /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmi \
5     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
6     cicCache.cmi 
7 cicCache.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmx \
8     /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmx \
9     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
10     cicCache.cmi