[Agda] ANNOUNCE: Agda

Andreas Abel abela at chalmers.se
Sun Nov 3 19:39:32 CET 2013

Hi Joachim, 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, 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


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
> :)
> Greetings,
> Joachim
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda

More information about the Agda mailing list