]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql_interpreter/.depend
d292da894a3c31461e737f981db1e41ae6d15fb2
[helm.git] / helm / ocaml / mathql_interpreter / .depend
1 dbconn.cmi: /usr/lib/ocaml/3.06/postgres/postgres.cmi 
2 union.cmi: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo 
3 relation.cmi: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo 
4 diff.cmi: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo 
5 meet.cmi: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo 
6 sub.cmi: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo 
7 intersect.cmi: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo 
8 func.cmi: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo 
9 property.cmi: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo 
10 pattern.cmi: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo 
11 mqint.cmi: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo 
12 dbconn.cmo: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo \
13     /usr/lib/ocaml/3.06/postgres/postgres.cmi dbconn.cmi 
14 dbconn.cmx: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmx \
15     /usr/lib/ocaml/3.06/postgres/postgres.cmi dbconn.cmi 
16 utility.cmo: dbconn.cmi /usr/lib/ocaml/3.06/list.cmi utility.cmi 
17 utility.cmx: dbconn.cmx /usr/lib/ocaml/3.06/list.cmx utility.cmi 
18 union.cmo: union.cmi 
19 union.cmx: union.cmi 
20 relation.cmo: dbconn.cmi /usr/lib/ocaml/3.06/list.cmi \
21     /usr/lib/ocaml/3.06/str.cmi /usr/lib/ocaml/3.06/string.cmi \
22     /projects/helm/galax/sources/natile-galax-0.1-alpha-installed/lib/toputils.cmi \
23     union.cmi utility.cmi relation.cmi 
24 relation.cmx: dbconn.cmx /usr/lib/ocaml/3.06/list.cmx \
25     /usr/lib/ocaml/3.06/str.cmi /usr/lib/ocaml/3.06/string.cmx \
26     /projects/helm/galax/sources/natile-galax-0.1-alpha-installed/lib/toputils.cmi \
27     union.cmx utility.cmx relation.cmi 
28 diff.cmo: diff.cmi 
29 diff.cmx: diff.cmi 
30 meet.cmo: meet.cmi 
31 meet.cmx: meet.cmi 
32 sub.cmo: sub.cmi 
33 sub.cmx: sub.cmi 
34 intersect.cmo: intersect.cmi 
35 intersect.cmx: intersect.cmi 
36 context.cmo: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo 
37 context.cmx: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmx 
38 func.cmo: dbconn.cmi intersect.cmi utility.cmi func.cmi 
39 func.cmx: dbconn.cmx intersect.cmx utility.cmx func.cmi 
40 property.cmo: dbconn.cmi intersect.cmi /usr/lib/ocaml/3.06/list.cmi \
41     /usr/lib/ocaml/3.06/str.cmi utility.cmi property.cmi 
42 property.cmx: dbconn.cmx intersect.cmx /usr/lib/ocaml/3.06/list.cmx \
43     /usr/lib/ocaml/3.06/str.cmi utility.cmx property.cmi 
44 pattern.cmo: dbconn.cmi /usr/lib/ocaml/3.06/list.cmi \
45     /usr/lib/ocaml/3.06/str.cmi utility.cmi pattern.cmi 
46 pattern.cmx: dbconn.cmx /usr/lib/ocaml/3.06/list.cmx \
47     /usr/lib/ocaml/3.06/str.cmi utility.cmx pattern.cmi 
48 mqint.cmo: context.cmo dbconn.cmi diff.cmi func.cmi intersect.cmi \
49     /usr/lib/ocaml/3.06/list.cmi \
50     /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo meet.cmi \
51     pattern.cmi property.cmi relation.cmi sub.cmi /usr/lib/ocaml/3.06/sys.cmi \
52     union.cmi mqint.cmi 
53 mqint.cmx: context.cmx dbconn.cmx diff.cmx func.cmx intersect.cmx \
54     /usr/lib/ocaml/3.06/list.cmx \
55     /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmx meet.cmx \
56     pattern.cmx property.cmx relation.cmx sub.cmx /usr/lib/ocaml/3.06/sys.cmx \
57     union.cmx mqint.cmi