[Agda-dev] Agda, boxes and GHC 7.10

[Andrés Sicard-Ramírez]

Hi,

In order to build Agda with GHC 7.10.1 RC1, could you upload a new version
to Hackage of the boxes library supporting this version of GHC, please.

(I saw there is a pull request related to GHC 7.10 in the GitHub
repository).

Thanks,

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