## ats2-postiats-0.4.0:

    ------------------------------------------------
    ATS-Postiats-0.4.0.tgz:
    MD5: ed0a8212b23c8ce281b5512eb0dd130f
    SHA1: f9a734b6d7040633d16a11c73f06175afe04482f
    --
    ATS2-Postiats-gmp-0.4.0.tgz:
    MD5: 9ae8b64526affc951f33e189b20fa16f
    SHA1: 826d529830ba28581708a27c27952a9ed56f916e
    --
    ATS2-Postiats-int-0.4.0.tgz:
    MD5: 3ed68ac11792be0689e43e9a6b3598c1
    SHA1: fa41e400676cad30df6566770c4238fd02ecc6de
    ------------------------------------------------

    This is the 51st 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:

    1. Improving testing code:
    doc/EXAMPLE/ATSLF,
    doc/EXAMPLE/INTRO, doc/EXAMPLE/TESTATS
    Kudos to Artyom Shalkhakov!
    2. Introducing various keywords (e.g., abstflt, absvtflt), which are
    used in the implementation of ATS3(ATS/Xanadu)

    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.0.tgz is just the same as ATS2-Postiats-int-0.4.0.tgz.