[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Porting Agda to Buster backports



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ć

Attachment: signature.asc
Description: This is a digitally signed message part


Reply to: