Build #1 for Agda-2.6.0

[all reports]

Package Agda-2.6.0
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2019-04-12 11:50:22.871861079 UTC
Compiler ghc-8.6.3
OS linux
Arch x86_64
Dependencies EdisonCore-1.3.2.1, aeson-1.4.2.0, array-0.5.3.0, async-2.2.1, base-4.12.0.0, binary-0.8.6.0, blaze-html-0.9.1.1, boxes-0.1.5, bytestring-0.10.8.2, containers-0.6.0.1, data-hash-0.2.0.1, deepseq-1.4.4.0, directory-1.3.3.0, edit-distance-0.2.2.1, equivalence-0.3.4, exceptions-0.10.1, filepath-1.4.2.1, geniplate-mirror-0.7.6, gitrev-1.3.1, hashable-1.2.7.0, hashtables-1.2.3.1, haskeline-0.7.4.3, ieee754-0.8.0, mtl-2.2.2, murmur-hash-0.1.0.9, pretty-1.1.3.6, process-1.6.3.0, regex-tdfa-1.2.3.1, split-0.2.3.3, stm-2.5.0.0, strict-0.3.2, template-haskell-2.14.0.0, text-1.2.3.1, time-1.8.0.2, transformers-0.5.5.0, unordered-containers-0.2.10.0, uri-encode-1.5.0.5, zlib-0.6.2, base-4.12.0.0, base-4.12.0.0, directory-1.3.3.0, filepath-1.4.2.1, process-1.6.3.0
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: https://wiki.haskell.org/Cabal/NewBuild

Resolving dependencies...
Downloading  EdisonAPI-1.3.1
Starting     STMonadTrans-0.4.3
Starting     blaze-builder-0.4.1.0
Starting     base-compat-0.10.5
Downloaded   EdisonAPI-1.3.1
Starting     EdisonAPI-1.3.1
Building     STMonadTrans-0.4.3
Building     blaze-builder-0.4.1.0
Building     base-compat-0.10.5
Building     EdisonAPI-1.3.1
Completed    STMonadTrans-0.4.3
Starting     data-hash-0.2.0.1
Completed    blaze-builder-0.4.1.0
Starting     dlist-0.8.0.6
Building     data-hash-0.2.0.1
Building     dlist-0.8.0.6
Completed    EdisonAPI-1.3.1
Starting     fail-4.9.0.0
Building     fail-4.9.0.0
Completed    fail-4.9.0.0
Downloading  geniplate-mirror-0.7.6
Downloaded   geniplate-mirror-0.7.6
Starting     geniplate-mirror-0.7.6
Completed    base-compat-0.10.5
Starting     hashable-1.2.7.0
Completed    data-hash-0.2.0.1
Starting     ieee754-0.8.0
Building     geniplate-mirror-0.7.6
Completed    dlist-0.8.0.6
Starting     integer-logarithms-1.0.2.2
Building     hashable-1.2.7.0
Building     ieee754-0.8.0
Building     integer-logarithms-1.0.2.2
Completed    integer-logarithms-1.0.2.2
Starting     murmur-hash-0.1.0.9
Building     murmur-hash-0.1.0.9
Completed    hashable-1.2.7.0
Starting     network-uri-2.6.1.0
Completed    ieee754-0.8.0
Starting     primitive-0.6.4.0
Building     network-uri-2.6.1.0
Completed    geniplate-mirror-0.7.6
Starting     random-1.1
Building     primitive-0.6.4.0
Completed    murmur-hash-0.1.0.9
Starting     regex-base-0.93.2
Building     random-1.1
Building     regex-base-0.93.2
Completed    regex-base-0.93.2
Starting     split-0.2.3.3
Completed    network-uri-2.6.1.0
Starting     strict-0.3.2
Building     split-0.2.3.3
Completed    random-1.1
Starting     tagged-0.8.6
Building     strict-0.3.2
Building     tagged-0.8.6
Completed    split-0.2.3.3
Starting     th-abstraction-0.2.11.0
Completed    strict-0.3.2
Starting     time-locale-compat-0.1.1.5
Building     th-abstraction-0.2.11.0
Building     time-locale-compat-0.1.1.5
Completed    tagged-0.8.6
Starting     transformers-compat-0.6.4
Completed    time-locale-compat-0.1.1.5
Starting     utf8-string-1.0.1.1
Building     transformers-compat-0.6.4
Building     utf8-string-1.0.1.1
Completed    th-abstraction-0.2.11.0
Starting     zlib-0.6.2
Building     zlib-0.6.2
Completed    transformers-compat-0.6.4
Starting     blaze-markup-0.8.2.2
Building     blaze-markup-0.8.2.2
Completed    utf8-string-1.0.1.1
Starting     gitrev-1.3.1
Building     gitrev-1.3.1
Completed    primitive-0.6.4.0
Starting     unordered-containers-0.2.10.0
Building     unordered-containers-0.2.10.0
Completed    gitrev-1.3.1
Starting     async-2.2.1
Building     async-2.2.1
Completed    blaze-markup-0.8.2.2
Starting     regex-tdfa-1.2.3.1
Building     regex-tdfa-1.2.3.1
Completed    zlib-0.6.2
Starting     uuid-types-1.0.3
Building     uuid-types-1.0.3
Completed    async-2.2.1
Starting     splitmix-0.0.2
Building     splitmix-0.0.2
Completed    splitmix-0.0.2
Starting     edit-distance-0.2.2.1
Completed    uuid-types-1.0.3
Starting     boxes-0.1.5
Building     edit-distance-0.2.2.1
Building     boxes-0.1.5
Completed    unordered-containers-0.2.10.0
Starting     exceptions-0.10.1
Completed    boxes-0.1.5
Starting     equivalence-0.3.4
Building     exceptions-0.10.1
Completed    edit-distance-0.2.2.1
Starting     uri-encode-1.5.0.5
Building     equivalence-0.3.4
Building     uri-encode-1.5.0.5
Completed    uri-encode-1.5.0.5
Starting     vector-0.12.0.2
Building     vector-0.12.0.2
Completed    equivalence-0.3.4
Starting     scientific-0.3.6.2
Building     scientific-0.3.6.2
Completed    exceptions-0.10.1
Starting     blaze-html-0.9.1.1
Building     blaze-html-0.9.1.1
Completed    regex-tdfa-1.2.3.1
Starting     QuickCheck-2.13.1
Completed    scientific-0.3.6.2
Starting     attoparsec-0.13.2.2
Building     QuickCheck-2.13.1
Building     attoparsec-0.13.2.2
Completed    attoparsec-0.13.2.2
Completed    blaze-html-0.9.1.1
Completed    QuickCheck-2.13.1
Downloading  EdisonCore-1.3.2.1
Downloaded   EdisonCore-1.3.2.1
Starting     EdisonCore-1.3.2.1
Building     EdisonCore-1.3.2.1
Completed    vector-0.12.0.2
Starting     hashtables-1.2.3.1
Starting     aeson-1.4.2.0
Building     hashtables-1.2.3.1
Building     aeson-1.4.2.0
Completed    hashtables-1.2.3.1
Completed    aeson-1.4.2.0
Completed    EdisonCore-1.3.2.1
Downloading  Agda-2.6.0
Downloaded   Agda-2.6.0
Starting     Agda-2.6.0
Building     Agda-2.6.0
Completed    Agda-2.6.0