Build #1 for agda-unused-0.2.0

[all reports]

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