[Agda] [ANNOUNCE] Agda 2.6.2

[Andreas Abel]

Dear all,

The Agda Team is very pleased to announce the release of Agda 2.6.2.1.

# Changes

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

Highlights:
- Agda 2.6.2.1 catches up to changes in the Haskell ecosystem (GHC 
9.2.1, aeson-2.0, hashable-1.4.).
- It fixes some regressions introduced in 2.6.1.
- It fixes some regressions introduced in 2.6.2.
- It improves on the compiler backends.

Agda 2.6.2.1 has been tested with GHC 9.2.1, 9.0.1, 8.10.5, 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.2.1 with Cabal or stack. See:

   https://agda.readthedocs.io/en/v2.6.2.1/getting-started/installation.html

# Standard library

Use standard library version 1.7.1 (or keep using 1.7 if you do not care 
about GHC 9.2.1).

   https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary

Enjoy Agda 2.6.2.1!

-- 
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/
-------------- next part --------------
_______________________________________________
Agda mailing list
Agda at lists.chalmers.se
https://lists.chalmers.se/mailman/listinfo/agda