[Agda] ANNOUNCE: Agda 2.3.2.2

[Joachim Breitner]

Hi,

Am Sonntag, den 03.11.2013, 20:10 +0100 schrieb Andreas Abel:
> On 03.11.2013 20:03, Joachim Breitner wrote:
> > 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.
> 
> That meant cabal 1.14, I'd guess, right?

sorry: haskell-src-exts-1.14.

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/cd83f371/attachment.bin