From asr at eafit.edu.co Wed Feb 3 18:21:16 2021 From: asr at eafit.edu.co (=?UTF-8?B?QW5kcsOpcyBTaWNhcmQtUmFtw61yZXo=?=) Date: Wed, 3 Feb 2021 12:21:16 -0500 Subject: [Agda-dev] [ANNOUNCE] Agda 2.6.1.2 In-Reply-To: References: Message-ID: Dear all, The Agda Team is very pleased to announce the release of Agda 2.6.1.2. In this bug-fix release, we fixed some issues when building with dynamic libraries and when building with some versions of some libraries. http://hackage.haskell.org/package/Agda-2.6.1.2/changelog # GHC supported versions Agda 2.6.1.2 has been tested with GHC 8.10.2, 8.8.4, 8.6.5, 8.4.4, 8.2.2 and 8.0.2 on Linux, macOS and Windows. # Installation See https://agda.readthedocs.io/en/latest/getting-started/installation.html # Standard library The standard library 1.5 is compatible with Agda 2.6.1.2. Enjoy Agda 2.6.1.2. -- Andr?s on behalf of the Agda Team From asr at eafit.edu.co Sun Feb 7 17:00:21 2021 From: asr at eafit.edu.co (=?UTF-8?B?QW5kcsOpcyBTaWNhcmQtUmFtw61yZXo=?=) Date: Sun, 7 Feb 2021 11:00:21 -0500 Subject: [Agda-dev] [ANNOUNCE] Agda 2.6.1.3 In-Reply-To: References: Message-ID: Dear all, The Agda Team is very pleased to announce the release of Agda 2.6.1.3. In this bug-fix release, we added support for GHC 8.10.3. # GHC supported versions Agda 2.6.1.3 has been tested with GHC 8.10.3, 8.8.4, 8.6.5, 8.4.4, 8.2.2 and 8.0.2 on Linux, macOS and Windows. # Installation You can install Agda 2.6.1.3 with Cabal or stack. See https://agda.readthedocs.io/en/v2.6.1.3/getting-started/installation.html#installation-from-hackage # Standard library The standard library 1.5 is compatible with Agda 2.6.1.3. Enjoy Agda 2.6.1.3. -- Andr?s, on behalf of the Agda Team