[Agda] ANNOUNCE: Agda 2.3.2.2

[Joachim Breitner]

Dear Andreas,

Am Sonntag, den 03.11.2013, 19:39 +0100 schrieb Andreas Abel:
> 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.

indeed Debian needs a version that works with 1.14, so a 2.3.2.3 with
support for that, but no leaked date would be nice.

Greetings,
Joachim

-- 
Joachim "nomeata" Breitner
Debian Developer
  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
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
Url : http://lists.chalmers.se/pipermail/agda/attachments/20131103/12cc6200/attachment.bin