[Agda] ANNOUNCE: Agda

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 with
> support for that, but no leaked date would be nice.

That meant cabal 1.14, I'd guess, right?


More information about the Agda mailing list