[Agda-dev] Unnecessary message from Cabal test?

[Nils Anders Danielsson]

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?

-- 
/NAD