Porting Agda to Buster backports

[Sean Whitton]

Hello Marko,

On Thu 03 Oct 2019 at 09:29AM +02, Marko Dimjašević wrote:

> I would be interested in porting Agda 2.6.0.1 from unstable to Buster
> backports. I have prior experience with packaging for Debian so I am
> not a total stranger here.
>
> Any comments and pointers if this is feasible, what has to be done and
> how to go about it would be most welcome.

Do you mean the official buster-backports suite?

The main problem is likely to be keeping that backport up-to-date with
testing as the Haskell libs in testing get further and further away from
stable.  Keeping it up-to-date is a requirement of the official
backports policy.

-- 
Sean Whitton
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 832 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-maintainers/attachments/20191003/5e792dd5/attachment.sig>