[Agda] problem with install Agda

[Andrés Sicard-Ramírez]

On Thu, 21 May 2020 at 13:50, Michel Levy <michel.levy.imag at free.fr> wrote:
>
> src/full/Agda/Utils/Memo.hs:8:1: error:
>      Could not find module ‘Data.HashMap.Strict’
>      There are files missing in the ‘unordered-containers-0.2.10.0’ package,
>      try running 'ghc-pkg check'.
>      Use -v to see a list of the files searched for.
>

I guess

    cabal install unordered-containers-0.2.10.0

fixes the problem.

-- 
Andrés