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 fairly recently I wanted to check with you before doing this. I have a particular interest because I want to convert agda-mode to use the new dh-elpa debhelper script. -- Sean Whitton
Attachment:
signature.asc
Description: PGP signature