Agda-2.8.0: doc/release-notes/2.6.1.1.md
Release notes for Agda version 2.6.1.1 ====================================== * Added support for GHC 8.8.4 and GHC 8.10.2
Release notes for Agda version 2.6.1.1 ====================================== * Added support for GHC 8.8.4 and GHC 8.10.2