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@lists.chalmers.se https://lists.chalmers.se/mailman/listinfo/agda