[Agda] Which Agda with which GHC [Re: [ANNOUNCE] Agda 2.6.2 release candidate 2]

[Andreas Abel]

The Agda download page

   https://wiki.portal.chalmers.se/agda/Main/Download

now contains information which major GHC version to use with which Agda 
version.

Sources:
   - https://matrix.hackage.haskell.org/#/package/Agda
   - release notes

On 2021-06-06 21:22, mechvel at scico.botik.ru wrote:
> Also I am looking at
>       https://wiki.portal.chalmers.se/agda/Main/Download
> 
> and do not find: which Agda version can be installed on which ghc versions.