[Agda-dev] Re: Agda, boxes and GHC 7.10

[Eelis van der Weegen]

I was only ever made maintainer of boxes years ago because I wanted to make some small change and the previous person didn't want to be maintainer anymore. I haven't used or touched boxes in ages. Feel free to take over maintainership, I don't want it. Let me know if I can help with that.

On 2015-01-12 17:49, Andrés Sicard-Ramírez wrote:
> 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