Build #1 for simple-smt-0.9.5

[all reports]

Package simple-smt-0.9.5
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2020-07-08 21:31:37.270865123 UTC
Compiler ghc-8.6.3
OS linux
Arch x86_64
Dependencies base-4.12.0.0, process-1.6.3.0
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Downloading  simple-smt-0.9.5
Downloaded   simple-smt-0.9.5
Starting     simple-smt-0.9.5
Building     simple-smt-0.9.5
Completed    simple-smt-0.9.5