Build #2 for g4ip-prover-0.1.0.1
| Package | g4ip-prover-0.1.0.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2017-12-04 08:47:17.457648533 UTC |
|---|---|
| Compiler | ghc-8.0.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | array-0.5.1.1, base-4.9.1.0, directory-1.3.0.0, system-filepath-0.4.13.4 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring text-1.2.2.2... Building text-1.2.2.2... Installed text-1.2.2.2 Configuring system-filepath-0.4.13.4... Building system-filepath-0.4.13.4... Warning: /tmp/pkgConf-system-filepath-0.4.1320448977631967513926.4: Unrecognized field dynamic-library-dirs on line 23 Installed system-filepath-0.4.13.4 Configuring g4ip-prover-0.1.0.1... Building g4ip-prover-0.1.0.1... Installed g4ip-prover-0.1.0.1
Test log
No test log was submitted for this report.