## ats2-postiats-0.4.1:

    ------------------------------------------------
    ATS-Postiats-0.4.1.tgz:
    The same as ATS-Postiats-int-0.4.1.tgz
    MD5: 99d99ea8296035abc7983fc3c21e1f05
    SHA1: 1e1d2b33b2f89ca229689de6fc6b403d0d35b6fe
    --
    ATS2-Postiats-gmp-1.4.0.tgz:
    MD5: 1f73c15ec2fcf0b6880f7a2b3d5da17c
    SHA1: af6a943b49236f02fcc1fe671477dbff85197c6a
    --
    ATS2-Postiats-int-1.4.0.tgz:
    MD5: 6bbdd92aa412dd7f70a9e56363b8b22f
    SHA1: 6c9e4032514a297365ad1f92a17dd61ead70755f
    ------------------------------------------------

    This is the 52nd release of ATS2, the successor of the
    ATS programming language. The compiler for ATS2 is given
    the name ATS/Positats, ATS2/Postiats or simply Postiats.

    The official website for ATS is:

    http://www.ats-lang.org

    ATS-Postiats is hosted at github:

    https://github.com/githwxi/ATS-Postiats

    Major releases of ATS2 are available at:

    https://sourceforge.net/projects/ats2-lang/

    Major releases of external packages for ATS2 are available at:

    https://sourceforge.net/projects/ats2-lang-contrib/

    Here is a list of major additions and changes since the last release:

    There are only a few minor modifications, which may be needed for
    compiling the implementation of ATS3 in the future.

    Please note that starting in this release, there are two variants of
    the package released: The "gmp" variant depends on the GMP library and
    the "int" variant does not depend on the GMP library. In this release
    ATS2-Postiats-0.4.1.tgz is just the same as ATS2-Postiats-int-0.4.1.tgz.