On Sun, 6 Jun 2021 at 14:25, <mechvel at scico.botik.ru> wrote: > * Agda-2.6.2-rc2 cannot be installed on ghc-8.8.3, Although GHC 8.8.3 is not officially supported, I could install Agda 2.6.2-rc2 on this version of GHC without any problem (using cabal-install 3.2.0.0 and running `cabal install`). -- Andrés