Build #1 for incremental-sat-solver-0.1.8

[all reports]

Package incremental-sat-solver-0.1.8
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2016-11-20 17:17:18.383597 UTC
Compiler ghc-8.0.1.20161018
OS linux
Arch x86_64
Dependencies base-4.9.0.0, containers-0.5.7.1, mtl-2.2.1
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Installed mtl-2.2.1
Downloading incremental-sat-solver-0.1.8...
Configuring incremental-sat-solver-0.1.8...
Building incremental-sat-solver-0.1.8...
Installed incremental-sat-solver-0.1.8