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ć <[email protected]> https://dimjasevic.net/marko PGP key ID: 056E61A6F3B6C9323049DBF9565EE9641503F0AA Learn email self-defense! https://emailselfdefense.fsf.org
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Pkg-haskell-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-haskell-maintainers
