[Agda] [ANNOUNCE] Agda 2.6.1.2

[Andrés Sicard-Ramírez]

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