ats-pkg-3.0.0.0: A build tool for ATS