Changelog of @hackage/Agda 2.6.1.3

Release notes for Agda version 2.6.1.3

  • Added support for GHC 8.10.3.