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. Thanks, 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