Build #1 for simple-smt-0.9.7

[all reports]

Package simple-smt-0.9.7
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2021-06-29 22:50:50.300476864 UTC
Compiler ghc-8.10.2
OS linux
Arch x86_64
Dependencies base-4.14.1.0, process-1.6.9.0
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

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