]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/cic_annotations_cache/.depend
package dependences calulation fixed
[helm.git] / helm / ocaml / cic_annotations_cache / .depend
1 cicCache.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
2     /usr/lib/ocaml/3.06/hashtbl.cmi \
3     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
4 cicCache.cmo: \
5     /home/fguidi/miohelm_natile/helm/ocaml/cic_annotations/cicAnnotationParser.cmi \
6     /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmi \
7     /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmi \
8     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
9     cicCache.cmi 
10 cicCache.cmx: \
11     /home/fguidi/miohelm_natile/helm/ocaml/cic_annotations/cicAnnotationParser.cmx \
12     /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmx \
13     /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmx \
14     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
15     cicCache.cmi