Build #1 for twee-2.1.5
| Package | twee-2.1.5 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2018-05-02 13:45:16.573572596 UTC |
|---|---|
| Compiler | ghc-8.2.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.10.1.0, containers-0.5.10.2, jukebox-0.3.5, pretty-1.1.3.3, split-0.2.3.2, twee-lib-2.1.5 |
| Flags | -llvm -static -static-cxx |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring minisat-0.1.2... Configuring dlist-0.8.0.4... Building minisat-0.1.2... Building dlist-0.8.0.4... Installed dlist-0.8.0.4 Configuring symbol-0.2.4... Building symbol-0.2.4... Installed symbol-0.2.4 Configuring uglymemo-0.1.0.1... Installed minisat-0.1.2 Downloading twee-lib-2.1.5... Configuring twee-lib-2.1.5... Building uglymemo-0.1.0.1... Building twee-lib-2.1.5... Installed uglymemo-0.1.0.1 Configuring jukebox-0.3.5... Building jukebox-0.3.5... Installed twee-lib-2.1.5 Installed jukebox-0.3.5 Downloading twee-2.1.5... Configuring twee-2.1.5... Building twee-2.1.5... Installed twee-2.1.5
Test log
No test log was submitted for this report.