[Agda-dev] Agda, Geniplate and GHC 7.10

[Andrés Sicard-Ramírez]

Dear Lennart,

In order to build Agda with GHC 7.10.1 RC1, could you merge the pull
request https://github.com/augustss/geniplate/pull/4 and upload a new
version to Hackage, please.

Thanks,

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150111/3e97de2e/attachment.html