[Agda] New release soon

Andreas Abel andreas.abel at ifi.lmu.de
Sun Oct 2 14:37:06 CEST 2011


Seconded.

On 01.10.11 9:11 PM, James Chapman wrote:
> Hi,
>
> On Sep 20, 2011, at 10:57 AM, Nils Anders Danielsson wrote:
>> We plan to release a new version of Agda soon.
>>
>> Note that Agda no longer builds using GHC 6.12. If this is a problem for
>> you, please let us know.
>
> I notice that the development version does build with 6.12 which I'm pleased to see. I would like to register my support for this to continue for a while.
>
> ghc 6.12 is part of both the current Debian stable (6.0 squeeze - released in February 2011, it will be 2 years from February until the next one apparently, I'm not sure when the discontinue support) and the LTS (Long Term Support) version of Ubuntu (Lucid Lynx 10.04 - released April 2010, supported until April 2013 but probably replaced in April 2012). I would think that a significant proportion on users are using Linux and using Ubuntu mainly. On Mac I don't see it as a big problem as it's simply a case of getting a newer Haskell platform. I guess Windows is similar in this respect.
>
> Not everyone who wants to try Agda is a 'Haskell person' and expecting them to upgrade their ghc is asking a bit much I think. Selfishly, I'm too incompetent/lazy to maintain a cutting edge linux system and like to use debian stable, also from a teaching point of view it be nice if people were able to use the new version of Agda without having to upgrade their systems (which is quite likely to fail and  end up in a big mess).
>
> Regards,
>
> James
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/


More information about the Agda mailing list