2 avsUtil.cmi: mathQL.cmo
3 listAvs.cmo: avs.cmo listAvs.cmi
4 listAvs.cmx: avs.cmx listAvs.cmi
5 mathQL.cmo: avs.cmo listAvs.cmi
6 mathQL.cmx: avs.cmx listAvs.cmx
7 avsUtil.cmo: mathQL.cmo avsUtil.cmi
8 avsUtil.cmx: mathQL.cmx avsUtil.cmi
9 mQueryUtil.cmo: mQueryUtil.cmi
10 mQueryUtil.cmx: mQueryUtil.cmi