Re: Agda

2016-06-06 Thread Sven Bartscher
On Mon, 6 Jun 2016 17:53:52 +0900 Sean Whitton wrote: > On Mon, Jun 06, 2016 at 09:15:32AM +0100, Iain Lane wrote: > > Go for it. I also think that Agda ought to be integrated into the rest > > of the DHG's packages if possible - it would be good if you could do > >

Re: Agda

2016-06-06 Thread Sean Whitton
On Mon, Jun 06, 2016 at 09:15:32AM +0100, Iain Lane wrote: > Go for it. I also think that Agda ought to be integrated into the rest > of the DHG's packages if possible - it would be good if you could do > that at the same time. Given that it builds a binary package installing an Emacs mode, which

Re: Agda

2016-06-06 Thread Iain Lane
On Mon, Jun 06, 2016 at 02:07:18PM +0900, Sean Whitton wrote: > Dear Iain, > > On Sun, Jun 05, 2016 at 02:38:01PM +0200, Joachim Breitner wrote: > > since Agda does not live with the other packages, I forgot about it. > > Does anyone feel like upgrading it to 2.5.1? > > Since you made an upload