[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1

[Andrés Sicard-Ramírez]

On 23 May 2018 at 08:38, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> 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:
>>> 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
>>
>> 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."
>>
>
> 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
>

The issue was fixed on the `release-2.5.4`,  `stable-2.5` and `master` branches.


-- 
Andrés