-pattern.cmi: mathql.cmo mathql_semantics.cmo
-use.cmi: mathql.cmo mathql_semantics.cmo
-mqint.cmi: mathql.cmo
-mathql_semantics.cmo: mathql.cmo
-mathql_semantics.cmx: mathql.cmx
-dbconn.cmo: mathql.cmo dbconn.cmi
-dbconn.cmx: mathql.cmx dbconn.cmi
-eval.cmo: mathql.cmo eval.cmi
-eval.cmx: mathql.cmx eval.cmi