Hey, On Wed, Jun 24, 2020 at 10:04PM, Marko Dimjašević wrote: > does your intention to remove haskell-edison-api mean that Agda 2.6.1 will > be packaged for Debian bullseye? Exactly! We plan to upload v2.6.1 to unstable once all dependencies are available. Cheers, -- Ilias