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

Andreas Abel andreas.abel at ifi.lmu.de
Thu Dec 9 22:14:15 CET 2021


Unfortunately, matrix.hackage.haskell.org has not been updated beyond 
GHC 8.10.1; it does not build packages on GHC 9.

So, if nothing is shown for GHC 9.0 and 9.2, this does not mean anything.

On 2021-12-08 16:40, mechvel at scico.botik.ru wrote:
> 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


More information about the Agda mailing list