]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/getter/.depend
9cdf013b9d4b601346f60a8aefe9bdcd5839e358
[helm.git] / helm / ocaml / getter / .depend
1 getter.cmi: /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
2 configuration.cmo: /usr/lib/ocaml/3.06/hashtbl.cmi \
3     /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/printf.cmi \
4     /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \
5     /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \
6     /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \
7     /usr/lib/ocaml/3.06/string.cmi /usr/lib/ocaml/3.06/sys.cmi \
8     configuration.cmi 
9 configuration.cmx: /usr/lib/ocaml/3.06/hashtbl.cmx \
10     /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/printf.cmx \
11     /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \
12     /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \
13     /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \
14     /usr/lib/ocaml/3.06/string.cmx /usr/lib/ocaml/3.06/sys.cmx \
15     configuration.cmi 
16 clientHTTP.cmo: configuration.cmi \
17     /usr/lib/ocaml/3.06/netclient/http_client.cmi \
18     /usr/lib/ocaml/3.06/string.cmi /usr/lib/ocaml/3.06/sys.cmi clientHTTP.cmi 
19 clientHTTP.cmx: configuration.cmx \
20     /usr/lib/ocaml/3.06/netclient/http_client.cmi \
21     /usr/lib/ocaml/3.06/string.cmx /usr/lib/ocaml/3.06/sys.cmx clientHTTP.cmi 
22 getter.cmo: clientHTTP.cmi configuration.cmi \
23     /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \
24     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
25     getter.cmi 
26 getter.cmx: clientHTTP.cmx configuration.cmx \
27     /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \
28     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
29     getter.cmi