[Agda] [ANNOUNCE] Agda 2.6.2.1 release candidate

[Andreas Abel]

The Agda Team is pleased to announce a release candidate for Agda 2.6.2.1:

     https://hackage.haskell.org/package/Agda-2.6.2.0.20211129/candidate

2.6.2.1 will be mostly a bugfix release, and will build in the latest 
Haskell ecosystem (GHC 9.2.1, aeson-2.0, hashable-1.4, hashtables-1.3).
For detailed comparison with 2.6.2, consult the changelog published with 
the candidate above.

Instructions how to test the candidate are available at:

     https://github.com/agda/agda/pull/5678

Please report any regressions over 2.6.2 at the Agda issue tracker.
We plan to release Agda 2.6.2.1 next week, should not release-stopping 
regressions be reported.

Happy Agda hacking!
Andreas

-- 
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/