Porting Agda to Buster backports

[Marko Dimjašević]

Dear Haskell developers,

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.


-- 
Regards,
Marko Dimjašević <marko at dimjasevic.net>
https://dimjasevic.net/marko
PGP key ID:       056E61A6F3B6C9323049DBF9565EE9641503F0AA
Learn email self-defense! https://emailselfdefense.fsf.org
-------------- 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/cb7b9450/attachment.sig>