Build #2 for MiniAgda-0.2020.4.14

[all reports]

Package MiniAgda-0.2020.4.14
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2020-04-14 16:32:48.448314114 UTC
Compiler ghc-8.6.3
OS linux
Arch x86_64
Dependencies array-0.5.3.0, base-4.12.0.0, containers-0.6.0.1, haskell-src-exts-1.21.1, mtl-2.2.2, pretty-1.1.3.6
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

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
Starting     MiniAgda-0.2020.4.14
Building     MiniAgda-0.2020.4.14
Completed    MiniAgda-0.2020.4.14