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ć <[email protected]> https://dimjasevic.net/marko Mastodon: https://mamot.fr/@mdimjasevic PGP key ID: 056E61A6F3B6C9323049DBF9565EE9641503F0AA Learn email self-defense! https://emailselfdefense.fsf.org
signature.asc
Description: This is a digitally signed message part
