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
Attachment:
signature.asc
Description: PGP signature