[Agda-dev] Unnecessary message from Cabal test?

[Andrés Sicard-Ramírez]

On 22 May 2015 at 12:38, Nils Anders Danielsson <nad at cse.gu.se> wrote:
> On 2015-05-22 18:16, Andrés Sicard-Ramírez wrote:
>>
>> I see a message like
>>
>>    ...
>>    In order, the following will be installed:
>>    Agda-2.4.2.3 *test (reinstall) (changes: process-extras-0.3.3.4
>> added, tasty-0.10.1.2 added, tasty-silver-3.1.7 added,
>> temporary-1.2.0.3 added)
>>    ...
>>
>> but Cabal doesn't reinstall the above packages.
>
>
> Agda is reinstalled, right?

Right.


-- 
Andrés