Build #1 for copilot-sbv-2.2.1
| Package | copilot-sbv-2.2.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2017-07-12 17:31:41.488729808 UTC |
|---|---|
| Compiler | ghc-8.0.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.9.1.0, containers-0.5.7.1, copilot-core-2.2.1, directory-1.3.0.0, filepath-1.4.1.1, pretty-1.1.3.3, sbv-6.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring FloatingHex-0.4... Configuring base-compat-0.9.3... Building FloatingHex-0.4... Building base-compat-0.9.3... Configuring data-binary-ieee754-0.4.4... Installed FloatingHex-0.4 Building data-binary-ieee754-0.4.4... Configuring dlist-0.8.0.3... Installed base-compat-0.9.3 Building dlist-0.8.0.3... Configuring call-stack-0.1.0... Installed data-binary-ieee754-0.4.4 Building call-stack-0.1.0... Configuring ieee754-0.8.0... Installed call-stack-0.1.0 Building ieee754-0.8.0... Configuring old-locale-1.0.0.7... Installed dlist-0.8.0.3 Building old-locale-1.0.0.7... Configuring pretty-ncols-0.1... Installed old-locale-1.0.0.7 Building pretty-ncols-0.1... Configuring mtl-2.2.1... Installed pretty-ncols-0.1 Configuring primitive-0.6.2.0... Installed ieee754-0.8.0 Building mtl-2.2.1... Building primitive-0.6.2.0... Configuring random-1.1... Installed mtl-2.2.1 Building random-1.1... Configuring stm-2.4.4.1... Installed primitive-0.6.2.0 Building stm-2.4.4.1... Configuring syb-0.7... Installed random-1.1 Building syb-0.7... Installed stm-2.4.4.1 Configuring HUnit-1.6.0.0... Building HUnit-1.6.0.0... Configuring crackNum-1.9... Installed syb-0.7 Building crackNum-1.9... Configuring old-time-1.1.0.3... Installed HUnit-1.6.0.0 Building old-time-1.1.0.3... Configuring tf-random-0.5... Installed crackNum-1.9 Building tf-random-0.5... Configuring copilot-core-2.2.1... Installed old-time-1.1.0.3 Building copilot-core-2.2.1... Configuring async-2.1.1.1... Installed tf-random-0.5 Building async-2.1.1.1... Installed async-2.1.1.1 Configuring QuickCheck-2.10.0.1... Building QuickCheck-2.10.0.1... Installed copilot-core-2.2.1 Installed QuickCheck-2.10.0.1 Configuring sbv-6.1... Building sbv-6.1... Installed sbv-6.1 Configuring copilot-sbv-2.2.1... Building copilot-sbv-2.2.1... Installed copilot-sbv-2.2.1
Test log
No test log was submitted for this report.