nTactics.cmi: nTacStatus.cmi 
nTacStatus.cmo: nTacStatus.cmi 
nTacStatus.cmx: nTacStatus.cmi 
nTactics.cmo: nTacStatus.cmi nTactics.cmi 
nTactics.cmx: nTacStatus.cmx nTactics.cmi