Hi, Am Montag, den 12.03.2012, 12:05 +0100 schrieb Ulf Norell: > On Wed, Mar 7, 2012 at 3:09 PM, Joachim Breitner <nomeata@debian.org> > wrote: > Dear Ulf, > > we are in the process of updating all Haskell packages in > Debian to be > compatible with GHC 7.4.1, and the Agda package are one of the > few > left who do not have a compatible version on hackage. I see > that the > darcs version of Agda is already prepared for GHC 7.4.1 – do > you plan to > update the package on hackage soon? We’d appreciate a minor > release, so > that we don’t have to patch Agda in Debian. > > > I've uploaded Agda-2.3.0.1 to Hackage. It's the same as Agda-2.3.0 > except it > has the ghc-7.4.1 compatibility patches. thanks, its uploaded. 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