[Agda] ANNOUNCE: Agda 2.3.2.2

Andreas Abel abela at chalmers.se
Sun Nov 3 20:10:00 CET 2013


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


More information about the Agda mailing list