Re: [ats-lang-users] ATS2-0.3.11 released

[David <da...@fr...>]

Hi,

Sorry for the previous email - I replied to the wrong ( old ) email.

I have built source and binary ( x86_64 ) packages for CentOS 7.5 and
Fedora 28.

These were originally derived from Matthew Danish's packages.

They are available at www.fractal.zone/downloads if anyone is
interested in them.

Regards
David

On Fri, 2018-06-08 at 22:33 -0400, Hongwei Xi wrote:
> Hi,
> 
> I am pleased to announce the release of ATS2-0.3.11.
> 
> ######
> 
> First, many thanks to Brandon Barker for his generous
> agreement to taking over the duty of packaging and releasing
> ATS from this point on. Applause :)
> 
> ######
> 
> Also, I have started working on ATS3. For this point on,
> I do not forsee that major changes or features are to be
> added to ATS2 in the future (except library related stuff).
> Actually, ATS2 has already been very stable for the past couple
> of years. There will be future releases, albeit less and less
> frequently.
> 
> ######
> ATS2-0.3.11.tgz:
> MD5: 847b592ce92655fe72f68000104e12b4
> SHA1: c4df38d0ae759be4294c8a9d90f8bad7800dac50
> ######
> 
> This is the 48th 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/
> 
> ######
> 
> Cheers,
> 
> --Hongwei
> 
> Computer Science Department
> Boston University
> 111 Cummington Street
> Boston, MA 02215
> 
> Email: hw...@cs...
> Url: http://www.cs.bu.edu/~hwxi
> Tel: +1 617 358 2511 (office)
> Fax: +1 617 353 6457 (department)
> 
> ######
> 
> Here is a list of major additions and changes since the last release:
> 
> 1. Re-enabling the support for -IATS
> 2. Rewording LICENSE: the ATS libraries are now covered under LGPLv3
>    In particular, any C code generated by ATS/Postiats is NOT by
> default
>    considered to be covered by the GPL/LGPL license of any kind.
> 3. Renaming some keywords:
>    atstbox for atstype
>    atstflat for atst0ype
>    atsvtbox for atsvtype
>    atsvtflat for atsvt0ype
>    absimpl for assume and atsreimpl for reassume
> 
> -------------------------------------------------------------------
> -----------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> ats-lang-users mailing list
> ats...@li...
> https://lists.sourceforge.net/lists/listinfo/ats-lang-users