On 2021-06-06 20:23, mechvel at scico.botik.ru wrote: > No, > because 2.6.2.rc1 cannot install under ghc-8.8.3, > and I expect that 2.6.2.rc2 also would not. It should not matter what version of GHC you use to compile Agda, only which version you use to compile the Haskell code that is generated from your Agda development. -- /NAD