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
[email protected]
https://lists.chalmers.se/mailman/listinfo/agda
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]
