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