Release notes for Agda version 2.8.0.1
======================================

* Added support for GHC 9.14.1

* Agda supports GHC versions 8.8.4 to 9.14.1.