Porting Agda to Buster backports

[Marko Dimjašević]

Hi,

On Thu, 2019-10-03 at 13:10 -0700, Sean Whitton wrote:
> 
> It's your own judgement to make about whether you can do this, but
> speaking as someone who has done a fair amount of work with Haskell
> packages with Debian, I would consider the amount of work to be
> completely unwieldy for a single contributor.


I'll trust you and consequently I will not attempt to do this on my
own.

Does anyone else see benefits in having Agda and/or libghc-* packages
backported? If so, would you be able to help out?


Kind regards,
Marko Dimjašević

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-maintainers/attachments/20191003/f9035aff/attachment.sig>