[Agda] ANNOUNCE: Agda 220.127.116.11
nomeata at debian.org
Sun Nov 3 20:03:01 CET 2013
Am Sonntag, den 03.11.2013, 19:39 +0100 schrieb Andreas Abel:
> 18.104.22.168 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 22.214.171.124, 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 126.96.36.199.
indeed Debian needs a version that works with 1.14, so a 188.8.131.52 with
support for that, but no leaked date would be nice.
Joachim "nomeata" Breitner
nomeata at debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C
JID: nomeata at joachim-breitner.de | http://people.debian.org/~nomeata
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 198 bytes
Desc: This is a digitally signed message part
Url : http://lists.chalmers.se/pipermail/agda/attachments/20131103/12cc6200/attachment.bin
More information about the Agda