[Agda] Agda 2.7.0.1 released

[Andreas Abel]

Dear all,

The Agda Team is pleased to announce Agda 2.7.0.1.

This replaces Agda 2.7.0, fixing some bugs and regressions.

At this point, let us note that option`--exact-split` is still *not* on 
by default, contrary to the claims of the Agda 2.7.0 changelog.

# GHC supported versions

Agda 2.7.0.1 has been tested with GHC 9.10.1, GHC 9.8.2, GHC 9.6.6, 
9.4.8, 9.2.8, 9.0.2, 8.10.7, 8.8.4 and 8.6.5 on Linux, macOS and Windows.

# Installation

Agda 2.7.0.1 can be installed using cabal-install or stack:

1. Getting the release candidate

        $ cabal get Agda-2.7.0.1
        $ cd Agda-2.7.0.1

2. a. Using cabal-install

        $ cabal install -f +optimise-heavily -f +enable-cluster-counting

2. b. Using stack

        $ stack --stack-yaml stack-a.b.c.yaml install --flag 
Agda:optimise-heavily --flag Agda:enable-cluster-counting

replacing `a.b.c` with your version of GHC (8.8.4 or higher).

The flags mean:

    - optimise-heavily:
      Turn on extra optimisation for a faster Agda.
      Takes large resources during compilation of Agda.

    - enable-cluster-counting:
      Enable unicode clusters for alignment in the LaTeX backend.
      Requires the ICU lib to be installed and known to pkg-config.

These flags can be dropped from the install if causing trouble.

# Standard library

Agda 2.7.0.1 is compatible with the Agda standard library version 2.1.1.

# Changes and fixed issues over Agda 2.7.0.1

    https://hackage.haskell.org/package/Agda-2.7.0.1/changelog

Enjoy Agda 2.7.0.1!
Report problems and regressions to: https://github.com/agda/agda/issues

Andreas, on behalf of the Agda Team

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/