See https://github.com/agda/agda/releases/tag/v2.6.0.1.20191219 Amount of changes is significant, including the support for more recent GHC 8.8.1 https://github.com/agda/agda/blob/master/CHANGELOG.md#release-notes-for-agda-version-261
Agda 2.6.1 was released - https://github.com/agda/agda/releases/tag/v2.6.1 Full changelog is here: https://github.com/agda/agda/blob/release-2.6.1/CHANGELOG.md Installation and infrastructure - Added support for GHC 8.8.2 - Removed support for GHC 7.10.3. - Interface files are now written in directory _build/VERSION/agda/ at the project root (the closest enclosing directory where an .agda-lib file is present). If there is no project root then the interface file is written alongside the module it corresponds to. The flag --local-interfaces forces Agda to revert back to storing interface files alongside module files no matter what. - Agda now uses the default RTS options -M3.5G -I0. If you run Agda on a 32-bit system or a system with less than 8GB of RAM, it is recommended to set the RTS options explicitly to a lower value by running agda with option +RTS -M1.2G -RTS (for example) or by setting the GHCRTS enviroment variable. See the GHC User's Guide for more information. - If Agda is compiled using GHC 8.4 or later, then one can expect to see substantially lower memory consumption
agda-2.6.1.2 is now in ::gentoo as of https://gitweb.gentoo.org/repo/gentoo.git/commit/sci-mathematics/agda?id=e5aacecc6e64f671a3c4f984a5debd488bd6663b.
