[Agda] [ANNOUNCE] Agda 2.6.2 release candidate 2

mechvel at scico.botik.ru mechvel at scico.botik.ru
Mon Jun 7 12:23:53 CEST 2021


On 2021-06-07 04:22, Andrés Sicard-Ramírez wrote:
> 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`).
> 

I have cabal-2.4.1.0.
Now I try to install cabal-3.4.0.0, and hope that it will help me to 
install Agda-2.6.2-rc2
on ghc-8.8.3. Then, Agda-2.6.1 and Agda-2.6.2-rc2 will become comparable 
under the same ghc version.

-- 
SM


More information about the Agda mailing list