Build #1 for tptp-0.1.3.0
Package | tptp-0.1.3.0 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2021-01-11 14:47:49.178935976 UTC |
---|---|
Compiler | ghc-8.10.2 |
OS | linux |
Arch | x86_64 |
Dependencies | attoparsec-0.13.2.4, base-4.14.1.0, prettyprinter-1.4.0, scientific-0.3.6.2, text-1.2.3.2 |
Flags | -werror |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Starting prettyprinter-1.4.0 Starting integer-logarithms-1.0.3.1 Starting hashable-1.3.0.0 Starting primitive-0.7.1.0 Building integer-logarithms-1.0.3.1 Building prettyprinter-1.4.0 Building hashable-1.3.0.0 Building primitive-0.7.1.0 Completed integer-logarithms-1.0.3.1 Completed hashable-1.3.0.0 Completed prettyprinter-1.4.0 Completed primitive-0.7.1.0 Starting scientific-0.3.6.2 Building scientific-0.3.6.2 Completed scientific-0.3.6.2 Starting attoparsec-0.13.2.4 Building attoparsec-0.13.2.4 Completed attoparsec-0.13.2.4 Downloading tptp-0.1.3.0 Downloaded tptp-0.1.3.0 Starting tptp-0.1.3.0 Building tptp-0.1.3.0 Completed tptp-0.1.3.0
Test log
No test log was submitted for this report.