[Agda] ANNOUNCE: Agda 2.3.2.2
Andreas Abel
abela at chalmers.se
Sun Nov 3 19:39:32 CET 2013
Hi Joachim,
2.3.2.2 has been released primarily for the Windows users. And it has
improved cabal dependency constraints. Does it make sense for the Linux
distro to stick with 2.3.2.1, or does it build no longer?
We are planning to release 2.3.4 after GHC 7.8 is stable, so maybe it
would make sense to skip 2.3.2.2.
Cheers,
Andreas
On 02.11.2013 23:58, Joachim Breitner wrote:
> Hi,
>
> Am Samstag, den 02.11.2013, 21:19 +0100 schrieb Andreas Abel:
>> Eh, seriously, I you plan to ship that garbage with the next Linux
>> distro, I'd say no, that is after all a bit embarrasing...
>
> no problem, just push a clean release to hackage and we’ll happily skip
> 2.3.2.2 :)
>
> Greetings,
> Joachim
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
More information about the Agda
mailing list