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 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