Re: Agda
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 > > that at the same time. > > Given that it builds a binary package installing an Emacs mode, which > contains no Haskell, are you sure it should be added to DHG_packages.git? ghc-mod does the same, so I see no reason why agda shouldn't get into DHG_packages.git. Regards Sven pgphXnWkJxNw4.pgp Description: Digitale Signatur von OpenPGP
Re: Agda
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 contains no Haskell, are you sure it should be added to DHG_packages.git? > If you have time, please look into upgrading agda-stdlib too. ACK -- Sean Whitton signature.asc Description: PGP signature
Re: Agda
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 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. 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. If you have time, please look into upgrading agda-stdlib too. -- Iain Lane [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ] signature.asc Description: PGP signature
