Hi, Am Sonntag, den 07.09.2014, 20:02 +0100 schrieb Iain Lane: > On Sun, Sep 07, 2014 at 10:54:08AM +0200, Joachim Breitner wrote: > > Hi Laney, > > > > would you mind uploading Agda-2.4.2, and while doing so, patch the cabal > > file to allow for transformers 0.4? I tested it with cabal, it seems to > > work: > > https://code.google.com/p/agda/issues/detail?id=1277 > > Roger. I'm on holiday until Thursday but I'll look shortly after that. > > Should I move this into darcs at that point? I’d prefer that; would make it easier for me to treat it like the other packages. Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: F0FBF51F JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: This is a digitally signed message part