Build #1 for smtLib-1.1

[all reports]

Package smtLib-1.1
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2019-01-10 23:27:54.899903169 UTC
Compiler ghc-8.6.3
OS linux
Arch x86_64
Dependencies base-4.12.0.0, 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...
Downloading  smtLib-1.1
Downloaded   smtLib-1.1
Starting     smtLib-1.1
Building     smtLib-1.1
Completed    smtLib-1.1