">ATS packages for download</a></li>
<li><a href="http://www.ats-lang.org/DOWNLOAD#installation_require">Requirements for installation</a></li>
<li><a href="http://www.ats-lang.org/DOWNLOAD#installation_debian">Installation of official Debian package</a></li>
<li><a href="http://www.ats-lang.org/DOWNLOAD#installation_redhat">Installation of unofficial Redhat package</a></li>
<li><a href="http://www.ats-lang.org/DOWNLOAD#installation_srccomp">Installation through source compilation</a></li>
<li><a href="http