[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1

Andrés Sicard-Ramírez asr at eafit.edu.co
Wed May 23 15:38:05 CEST 2018


On 23 May 2018 at 08:22, Sergei Meshveliani <mechvel at botik.ru> wrote:
> On Sat, 2018-05-19 at 15:33 -0500, Andrés Sicard-Ramírez wrote:
>> Dear all,
>>
>> The Agda Team is very pleased to announce the first release candidate
>> of Agda 2.5.4. We plan to release 2.5.4 in one week.
>>
>>
>> Installation
>> =======
>>
>> This RC can be installed using the following instruction:
>>
>>   $ cabal install
>> http://hackage.haskell.org/package/Agda-2.5.3.20180519/candidate/Agda-2.5.3.20180519.tar.gz
>>
>>
>> GHC supported versions
>> ===============
>>
>> This RC has been tested with GHC 7.10.3, 8.0.2, 8.2.2 and 8.4.2 on
>> Linux, macOS and Windows.
>>
>> Please note that GHC 8.4.2 requires cabal-install ≥ 2.2.0.0.
>>
>
> For any occasion:
>
> the above command under  ghc-7.10.2, Debian Linux
> leads to an error which report ends with
>    "... perhaps you need to add `transformers' to  build-depends in
>    your .cabal file."
>
> I have downloaded the archive, and added `transformers' there to
> Agda.cabal.
> And this seems to help.
>

Thanks for reporting!

The problem is caused by the following lines in Agda.cabal:

  if impl(ghc >= 7.10.3) && impl(ghc < 8.0)
    build-depends: transformers == 0.4.2.0

I'll fix it.


-- 
Andrés


More information about the Agda mailing list