<div dir="ltr">Dear all,<br>
<br><div>
The Agda Team is pleased to <span class="gmail-il">announce</span> the release of Agda <span class="gmail-il">2.6</span>.<span class="gmail-il">1</span>.1.</div><div><br></div><div>Version 2.6.1.1 is exactly the same as 2.6.1 except it can be built with ghc 8.10.2.</div><div><br></div><div>Installation: cabal update && cabal install Agda</div><div><br></div><div>Enjoy!</div><div><br></div><div>/ Ulf<br></div></div>