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

[Andrés Sicard-Ramírez]

On 12 January 2015 at 11:53, Eelis van der Weegen <eelis at eelis.net> wrote:

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


​Thanks for answering.

Neither do I want to be the maintainer. I'll wait (a possible) answer from
Benno before defining what to do.

​Best,​


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