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? -- Iain Lane [ iain@orangesquash.org.uk ] Debian Developer [ laney@debian.org ] Ubuntu Developer [ laney@ubuntu.com ]
Attachment:
signature.asc
Description: Digital signature