Build #1 for agda-unused-0.2.0
| Package | agda-unused-0.2.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2021-05-05 03:25:37.207071926 UTC |
|---|---|
| Compiler | ghc-8.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | Agda-2.6.1.3, base-4.14.1.0, containers-0.6.2.1, directory-1.3.6.0, filepath-1.4.2.1, mtl-2.2.2, text-1.2.4.1, aeson-1.5.6.0, base-4.14.1.0, directory-1.3.6.0, mtl-2.2.2, optparse-applicative-0.16.1.0, text-1.2.4.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Warning: The following packages are likely to be broken by the reinstalls: Cabal-3.2.0.0 Continuing even though the plan contains dangerous reinstalls. Starting STMonadTrans-0.4.5 Starting base-orphans-0.8.4 Starting colour-2.3.5 Starting base-compat-0.11.2 Building STMonadTrans-0.4.5 Building colour-2.3.5 Building base-orphans-0.8.4 Building base-compat-0.11.2 Completed STMonadTrans-0.4.5 Starting data-hash-0.2.0.1 Building data-hash-0.2.0.1 Completed base-orphans-0.8.4 Starting dlist-1.0 Building dlist-1.0 Completed base-compat-0.11.2 Starting fail-4.9.0.0 Completed data-hash-0.2.0.1 Starting geniplate-mirror-0.7.7 Building fail-4.9.0.0 Building geniplate-mirror-0.7.7 Completed colour-2.3.5 Starting ieee754-0.8.0 Completed fail-4.9.0.0 Starting indexed-traversable-0.1.1 Building ieee754-0.8.0 Building indexed-traversable-0.1.1 Completed dlist-1.0 Starting integer-logarithms-1.0.3.1 Building integer-logarithms-1.0.3.1 Completed ieee754-0.8.0 Starting murmur-hash-0.1.0.9 Completed geniplate-mirror-0.7.7 Starting primitive-0.7.1.0 Completed integer-logarithms-1.0.3.1 Starting split-0.2.3.4 Building murmur-hash-0.1.0.9 Completed indexed-traversable-0.1.1 Starting splitmix-0.1.0.3 Building primitive-0.7.1.0 Building split-0.2.3.4 Building splitmix-0.1.0.3 Completed murmur-hash-0.1.0.9 Starting tagged-0.8.6.1 Completed split-0.2.3.4 Starting text-1.2.4.1 Building tagged-0.8.6.1 Building text-1.2.4.1 Completed splitmix-0.1.0.3 Starting th-abstraction-0.4.2.0 Building th-abstraction-0.4.2.0 Completed tagged-0.8.6.1 Starting th-compat-0.1.2 Building th-compat-0.1.2 Completed th-compat-0.1.2 Starting transformers-compat-0.6.6 Completed th-abstraction-0.4.2.0 Starting utf8-string-1.0.2 Building transformers-compat-0.6.6 Building utf8-string-1.0.2 Completed transformers-compat-0.6.6 Starting zlib-0.6.2.3 Building zlib-0.6.2.3 Completed utf8-string-1.0.2 Starting time-compat-1.9.5 Completed primitive-0.7.1.0 Starting gitrev-1.3.1 Building time-compat-1.9.5 Building gitrev-1.3.1 Completed gitrev-1.3.1 Starting base-compat-batteries-0.11.2 Building base-compat-batteries-0.11.2 Completed zlib-0.6.2.3 Starting ansi-terminal-0.11 Completed time-compat-1.9.5 Starting boxes-0.1.5 Building ansi-terminal-0.11 Building boxes-0.1.5 Completed boxes-0.1.5 Starting random-1.2.0 Building random-1.2.0 Completed base-compat-batteries-0.11.2 Starting distributive-0.6.2.1 Completed ansi-terminal-0.11 Starting equivalence-0.3.5 Building distributive-0.6.2.1 Building equivalence-0.3.5 Completed text-1.2.4.1 Starting vector-0.12.3.0 Building vector-0.12.3.0 Completed distributive-0.6.2.1 Starting ansi-wl-pprint-0.6.9 Building ansi-wl-pprint-0.6.9 Completed equivalence-0.3.5 Starting regex-base-0.94.0.1 Building regex-base-0.94.0.1 Completed random-1.2.0 Starting parsec-3.1.14.0 Completed ansi-wl-pprint-0.6.9 Starting hashable-1.3.1.0 Building parsec-3.1.14.0 Building hashable-1.3.1.0 Completed regex-base-0.94.0.1 Starting blaze-builder-0.4.2.1 Building blaze-builder-0.4.2.1 Completed hashable-1.3.1.0 Starting comonad-5.0.8 Building comonad-5.0.8 Completed blaze-builder-0.4.2.1 Starting edit-distance-0.2.2.1 Building edit-distance-0.2.2.1 Completed parsec-3.1.14.0 Starting optparse-applicative-0.16.1.0 Building optparse-applicative-0.16.1.0 Completed edit-distance-0.2.2.1 Starting uuid-types-1.0.5 Completed comonad-5.0.8 Starting unordered-containers-0.2.13.0 Building uuid-types-1.0.5 Building unordered-containers-0.2.13.0 Completed uuid-types-1.0.5 Starting scientific-0.3.6.2 Building scientific-0.3.6.2 Completed optparse-applicative-0.16.1.0 Starting data-fix-0.3.1 Building data-fix-0.3.1 Completed scientific-0.3.6.2 Starting async-2.2.3 Completed data-fix-0.3.1 Starting blaze-markup-0.8.2.8 Building async-2.2.3 Building blaze-markup-0.8.2.8 Completed unordered-containers-0.2.13.0 Starting regex-tdfa-1.3.1.0 Completed async-2.2.3 Starting network-uri-2.6.4.1 Building regex-tdfa-1.3.1.0 Building network-uri-2.6.4.1 Completed blaze-markup-0.8.2.8 Starting bifunctors-5.5.11 Building bifunctors-5.5.11 Completed network-uri-2.6.4.1 Starting attoparsec-0.14.1 Building attoparsec-0.14.1 Completed vector-0.12.3.0 Starting blaze-html-0.9.1.2 Building blaze-html-0.9.1.2 Completed bifunctors-5.5.11 Starting uri-encode-1.5.0.7 Building uri-encode-1.5.0.7 Completed attoparsec-0.14.1 Starting hashtables-1.2.4.1 Building hashtables-1.2.4.1 Completed uri-encode-1.5.0.7 Starting assoc-1.0.2 Building assoc-1.0.2 Completed regex-tdfa-1.3.1.0 Completed assoc-1.0.2 Starting these-1.1.1.1 Building these-1.1.1.1 Completed these-1.1.1.1 Starting strict-0.4.0.1 Building strict-0.4.0.1 Completed hashtables-1.2.4.1 Completed strict-0.4.0.1 Starting aeson-1.5.6.0 Building aeson-1.5.6.0 Completed blaze-html-0.9.1.2 Completed aeson-1.5.6.0 Starting Agda-2.6.1.3 Building Agda-2.6.1.3 Completed Agda-2.6.1.3 Downloading agda-unused-0.2.0 Downloaded agda-unused-0.2.0 Starting agda-unused-0.2.0 Building agda-unused-0.2.0 Completed agda-unused-0.2.0
Test log
No test log was submitted for this report.