Bug#962959: Agda version in Debian bullseye

2020-06-25 Thread Ilias Tsitsimpis
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

Bug#962959: Agda version in Debian bullseye

2020-06-24 Thread 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ć https://dimjasevic.net/marko Mastodon: https://mamot.fr/@mdimjasevic PGP key ID: 056E61A6F3B6C9323049DBF9565EE9641503F0AA Learn