[Agda] ANNOUNCE: Agda

Joachim Breitner nomeata at debian.org
Sun Nov 3 20:03:01 CET 2013

Dear Andreas,

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

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


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

More information about the Agda mailing list