Build #1 for smtLib-1.0.9

[all reports]

Package smtLib-1.0.9
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2018-04-30 15:21:37.377161524 UTC
Compiler ghc-8.2.2
OS linux
Arch x86_64
Dependencies base-4.10.1.0, pretty-1.1.3.3
Flags none

Build log

[view raw]

Resolving dependencies...
Downloading smtLib-1.0.9...
Configuring smtLib-1.0.9...
Building smtLib-1.0.9...
Installed smtLib-1.0.9