Build #1 for g4ip-prover-

[all reports]

Package g4ip-prover-
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2018-12-28 22:03:03.853546671 UTC
Compiler ghc-8.6.1
OS linux
Arch x86_64
Dependencies array-, base-, directory-, filepath-, array-, base-, directory-, filepath-
Flags none

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:

Resolving dependencies...
Downloading  g4ip-prover-
Downloaded   g4ip-prover-
Starting     g4ip-prover-
Building     g4ip-prover-
Completed    g4ip-prover-