Build #1 for Agda-2.6.1

[all reports]

Package Agda-2.6.1
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2020-03-16 08:10:16.992515121 UTC
Compiler ghc-8.6.3
OS linux
Arch x86_64
Dependencies aeson-, array-, async-2.2.2, base-, binary-, blaze-html-, boxes-0.1.5, bytestring-, containers-, data-hash-, deepseq-, directory-, edit-distance-, equivalence-0.3.5, exceptions-0.10.4, filepath-, geniplate-mirror-0.7.6, ghc-compact-, gitrev-1.3.1, hashable-, hashtables-, haskeline-, ieee754-0.8.0, mtl-2.2.2, murmur-hash-, pretty-, process-, regex-tdfa-, split-, stm-, strict-0.3.2, template-haskell-, text-, time-, transformers-, unordered-containers-, uri-encode-, zlib-, base-, base-, directory-, filepath-, process-
Flags -cpphs -debug -enable-cluster-counting

Build log

[view raw]

Warning: The install command is a part of the legacy v1 style of cabal usage.

Please switch to using either the new project style and the new-install
command or the legacy v1-install alias as new-style projects will become the
default in the next version of cabal-install. Please file a bug if you cannot
replicate a working v1- use case with the new-style commands.

For more information, see:

Resolving dependencies...
Starting     STMonadTrans-0.4.4
Starting     blaze-builder-
Starting     base-orphans-0.8.2
Starting     base-compat-0.11.1
Building     STMonadTrans-0.4.4
Building     blaze-builder-
Building     base-orphans-0.8.2
Building     base-compat-0.11.1
Completed    STMonadTrans-0.4.4
Starting     data-hash-
Completed    blaze-builder-
Starting     dlist-
Building     data-hash-
Building     dlist-
Completed    base-orphans-0.8.2
Starting     exceptions-0.10.4
Building     exceptions-0.10.4
Completed    data-hash-
Starting     fail-
Completed    dlist-
Starting     geniplate-mirror-0.7.6
Building     fail-
Building     geniplate-mirror-0.7.6
Completed    base-compat-0.11.1
Starting     hashable-
Completed    fail-
Starting     ieee754-0.8.0
Building     hashable-
Building     ieee754-0.8.0
Completed    exceptions-0.10.4
Starting     integer-logarithms-1.0.3
Building     integer-logarithms-1.0.3
Completed    integer-logarithms-1.0.3
Starting     murmur-hash-
Completed    hashable-
Starting     network-uri-
Building     murmur-hash-
Completed    geniplate-mirror-0.7.6
Starting     primitive-
Completed    ieee754-0.8.0
Starting     random-1.1
Building     network-uri-
Building     primitive-
Building     random-1.1
Completed    murmur-hash-
Starting     regex-base-
Building     regex-base-
Completed    random-1.1
Starting     split-
Building     split-
Completed    network-uri-
Starting     strict-0.3.2
Completed    regex-base-
Starting     tagged-0.8.6
Building     strict-0.3.2
Building     tagged-0.8.6
Completed    split-
Starting     th-abstraction-
Completed    strict-0.3.2
Starting     transformers-compat-0.6.5
Building     th-abstraction-
Building     transformers-compat-0.6.5
Completed    tagged-0.8.6
Starting     utf8-string-
Building     utf8-string-
Completed    transformers-compat-0.6.5
Starting     zlib-
Building     zlib-
Completed    th-abstraction-
Starting     blaze-markup-
Building     blaze-markup-
Completed    primitive-
Starting     time-compat-1.9.3
Completed    utf8-string-
Starting     gitrev-1.3.1
Building     time-compat-1.9.3
Building     gitrev-1.3.1
Completed    gitrev-1.3.1
Starting     unordered-containers-
Completed    blaze-markup-
Starting     async-2.2.2
Building     unordered-containers-
Building     async-2.2.2
Completed    zlib-
Starting     uuid-types-1.0.3
Building     uuid-types-1.0.3
Completed    time-compat-1.9.3
Starting     edit-distance-
Building     edit-distance-
Completed    async-2.2.2
Starting     regex-tdfa-
Building     regex-tdfa-
Completed    uuid-types-1.0.3
Starting     boxes-0.1.5
Building     boxes-0.1.5
Completed    edit-distance-
Starting     equivalence-0.3.5
Building     equivalence-0.3.5
Completed    boxes-0.1.5
Starting     vector-
Building     vector-
Completed    equivalence-0.3.5
Starting     scientific-
Completed    unordered-containers-
Starting     uri-encode-
Building     scientific-
Building     uri-encode-
Completed    uri-encode-
Starting     blaze-html-
Building     blaze-html-
Completed    scientific-
Starting     attoparsec-
Building     attoparsec-
Completed    regex-tdfa-
Completed    attoparsec-
Completed    blaze-html-
Completed    vector-
Starting     hashtables-
Starting     aeson-
Building     hashtables-
Building     aeson-
Completed    hashtables-
Completed    aeson-
Downloading  Agda-2.6.1
Downloaded   Agda-2.6.1
Starting     Agda-2.6.1
Building     Agda-2.6.1
Completed    Agda-2.6.1