Build #1 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:28:57.39339993 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 Downloading g4ip-prover-0.1.0.1... 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.