[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: [Agda] ANNOUNCE: Agda 2.3.2.2



Dear Andreas,

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

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.

Greetings,
Joachim

-- 
Joachim "nomeata" Breitner
Debian Developer
  nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C
  JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata


Attachment: signature.asc
Description: This is a digitally signed message part


Reply to: