[Agda] [ANNOUNCE] Agda 2.6.1 release candidate 2

Andrés Sicard-Ramírez asr at eafit.edu.co
Mon Mar 9 04:19:41 CET 2020


On Sun, 8 Mar 2020 at 20:55, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> RC2 can be installed using the following instructions:
>
>   $ cabal get https://hackage.haskell.org/package/Agda-2.6.0.1.20200307/candidate/Agda-2.6.0.1.20200307.tar.gz
>   $ Agda-2.6.0.1.20200307.tar.gz
>   $ cabal install

The correct instructions are:

   $ cabal get https://hackage.haskell.org/package/Agda-2.6.0.1.20200307/candidate/Agda-2.6.0.1.20200307.tar.gz
   $ cd Agda-2.6.0.1.20200307
   $ cabal install

Best regards,

-- 
Andrés


More information about the Agda mailing list