[Agda] [ANNOUNCE] Agda 2.6.1.1

Ulf Norell ulf.norell at gmail.com
Mon Sep 14 10:04:15 CEST 2020


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>


More information about the Agda mailing list