[Agda] ANNOUNCE: Agda 188.8.131.52
abela at chalmers.se
Sun Nov 3 19:39:32 CET 2013
184.108.40.206 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 220.127.116.11, 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 18.104.22.168.
On 02.11.2013 23:58, Joachim Breitner wrote:
> 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
> 22.214.171.124 :)
> Agda mailing list
> Agda at lists.chalmers.se
More information about the Agda