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

[mechvel at scico.botik.ru]

On 2021-11-30 10:23, Andreas Abel wrote:
> 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


1) One can observe  https://matrix.hackage.haskell.org/#/package/Agda
    when reading this letter,
    but one cannot find this place when inspecting
    https://wiki.portal.chalmers.se/agda/Main/Download
- ?

2) Now I look into https://matrix.hackage.haskell.org/#/package/Agda
    It shows a certain table.
I do not find there
a) the ghc versions for Agda-2.6.2.1,
b) any ghc-9.* version for Agda-2.6.2,
    (cannot it work under ghc-9.*) ?

------
Sergei