listAvs.cmi: avs.cmo 
avsUtil.cmi: mathQL.cmo 
listAvs.cmo: avs.cmo listAvs.cmi 
listAvs.cmx: avs.cmx listAvs.cmi 
mathQL.cmo: avs.cmo listAvs.cmi 
mathQL.cmx: avs.cmx listAvs.cmx 
avsUtil.cmo: mathQL.cmo avsUtil.cmi 
avsUtil.cmx: mathQL.cmx avsUtil.cmi 
mQueryUtil.cmo: mQueryUtil.cmi 
mQueryUtil.cmx: mQueryUtil.cmi