[Agda] [ANNOUNCE] Agda 18.104.22.168 release candidate
abela at chalmers.se
Sun Mar 20 21:29:40 CET 2022
On behalf of the Agda Team, I am pleased to announce a release candidate
for Agda 22.214.171.124:
126.96.36.199 will be mostly a bugfix release, and will build in the latest
Haskell ecosystem (bytestring-0.11.2.0, text-icu-0.8.0.1).
For detailed comparison with 188.8.131.52, consult the changelog published
with the candidate above.
Instructions how to test the candidate are available at:
Please report any regressions over 184.108.40.206 (or 2.6.2) at the Agda issue
I plan to release Agda 220.127.116.11 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