[Agda-dev] Release Agda-2.4.2.3

[Andrés Sicard-Ramírez]

Yes, I can release Agda 2.4.2.3. I'll continue the discussion in
https://code.google.com/p/agda/issues/detail?id=1482.

Who could release a version of the standard library compatible with
Agda 2.4.2.3? I think it's desirable back-port some commits from the
master branch into the 2.4.2.3 branch before the release. I'll open an
issue in GitHub for this task (right now GitHub is down due to
emergency maintenance).

Best,


On 6 May 2015 at 01:56, Andreas Abel <abela at chalmers.se> wrote:
> The last release of the maintenance version was half a year ago (Nov 2014).
>
> There are now enough bug-fixes to warrant another release.
>
> Andres, are you up to it?
>
> Cheers,
> Andreas
>
> --
> Andreas Abel  <><      Du bist der geliebte Mensch.
>
> Department of Computer Science and Engineering
> Chalmers and Gothenburg University, Sweden
>
> andreas.abel at gu.se
> http://www2.tcs.ifi.lmu.de/~abel/
> _______________________________________________
> Agda-dev mailing list
> Agda-dev at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda-dev



-- 
Andrés