[Agda] [ANNOUNCE] Agda 2.6.1.1

[Ulf Norell]

Dear all,

The Agda Team is pleased to announce the release of Agda 2.6.1.1.

Version 2.6.1.1 is exactly the same as 2.6.1 except it can be built with
ghc 8.10.2.

Installation: cabal update && cabal install Agda

Enjoy!

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200914/bbc300e1/attachment.html>