Bug#962959: Agda version in Debian bullseye

[Marko Dimjašević]

Dear Ilias Tsitsimpis,

does your intention to remove haskell-edison-api mean that Agda 2.6.1 will
be packaged for Debian bullseye?


-- 
Regards,
Marko Dimjašević <marko at dimjasevic.net>
https://dimjasevic.net/marko
Mastodon: https://mamot.fr/@mdimjasevic
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/20200624/0132cbb7/attachment.sig>