Re: [Agda] ANNOUNCE: Agda 2.3.2.2

[Andreas Abel <abela@chalmers.se>]

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?

Cheers,
Andreas