[Agda] [ANNOUNCE] Agda release candidate 2

Andreas Abel abela at chalmers.se
Sun Mar 27 14:32:10 CEST 2022

The release candidate for Agda has been updated:


Over RC1 (2022-03-20) it contains a few more bug fixes, most notably an 
inconsistency in Cubical Agda: https://github.com/agda/agda/issues/5838 will be mostly a bugfix release, and will build in the latest 
Haskell ecosystem (bytestring-, text-icu-
For detailed comparison with, consult the changelog published 
with the candidate above.

Instructions how to test the candidate are available at:


Please report any regressions over (or 2.6.2 or at 
the Agda issue tracker.
I plan to release Agda one week later, should no 
release-stopping regressions be reported.


Andreas Abel  <><      Du bist der geliebte Mensch.

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

andreas.abel at gu.se

More information about the Agda mailing list