[Agda-dev] Unnecessary message from Cabal test?

[Andrés Sicard-Ramírez]

Hi,

Any time I run in maint-2.4.2 or master

  $ make install-bin

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.

Is someone seeing the same message? Is it a Cabal/cabal-install bug?

$ cabal --version
cabal-install version 1.22.4.0
using version 1.22.3.0 of the Cabal library

Best,

-- 
Andrés