Warning: The install command is a part of the legacy v1 style of cabal usage.

Please switch to using either the new project style and the new-install
command or the legacy v1-install alias as new-style projects will become the
default in the next version of cabal-install. Please file a bug if you cannot
replicate a working v1- use case with the new-style commands.

For more information, see: https://wiki.haskell.org/Cabal/NewBuild

Resolving dependencies...
Starting     haskell-src-exts-1.21.1
Building     haskell-src-exts-1.21.1
Completed    haskell-src-exts-1.21.1
Downloading  MiniAgda-0.2020.4.14
Downloaded   MiniAgda-0.2020.4.14
Starting     MiniAgda-0.2020.4.14
Building     MiniAgda-0.2020.4.14
Completed    MiniAgda-0.2020.4.14