From ulf.norell at gmail.com Mon Sep 14 10:04:15 2020 From: ulf.norell at gmail.com (Ulf Norell) Date: Mon, 14 Sep 2020 10:04:15 +0200 Subject: [Agda-dev] [ANNOUNCE] Agda 2.6.1.1 Message-ID: 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: