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.