Build #1 for idris-1.3.2

[all reports]

Package idris-1.3.2
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2019-07-22 12:36:24.789782589 UTC
Compiler ghc-8.6.3
OS linux
Arch x86_64
Dependencies aeson-1.4.4.0, annotated-wl-pprint-0.7.0, ansi-terminal-0.8.2, ansi-wl-pprint-0.6.8.2, array-0.5.3.0, async-2.2.2, base-4.12.0.0, base64-bytestring-1.0.0.2, binary-0.8.6.0, blaze-html-0.9.1.1, blaze-markup-0.8.2.2, bytestring-0.10.8.2, cheapskate-0.1.1.1, code-page-0.2, containers-0.6.0.1, deepseq-1.4.4.0, directory-1.3.3.0, filepath-1.4.2.1, fingertree-0.1.4.2, fsnotify-0.3.0.1, haskeline-0.7.4.3, ieee754-0.8.0, megaparsec-7.0.5, mtl-2.2.2, network-2.8.0.1, optparse-applicative-0.14.3.0, parser-combinators-1.1.0, pretty-1.1.3.6, process-1.6.3.0, regex-tdfa-1.2.3.2, safe-0.3.17, split-0.2.3.3, terminal-size-0.3.2.1, text-1.2.3.1, time-1.8.0.2, transformers-0.5.5.0, uniplate-1.6.12, unix-2.7.2.2, unordered-containers-0.2.10.0, utf8-string-1.0.1.1, vector-0.12.0.3, vector-binary-instances-0.2.5.1, zip-archive-0.4.1, base-4.12.0.0, directory-1.3.3.0, filepath-1.4.2.1, haskeline-0.7.4.3, transformers-0.5.5.0, base-4.12.0.0, filepath-1.4.2.1, haskeline-0.7.4.3, transformers-0.5.5.0, base-4.12.0.0, filepath-1.4.2.1, haskeline-0.7.4.3, transformers-0.5.5.0, base-4.12.0.0, filepath-1.4.2.1, haskeline-0.7.4.3, transformers-0.5.5.0
Flags -ci -execonly -ffi -freestanding -gmp release

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...
Starting     base-orphans-0.8.1
Starting     annotated-wl-pprint-0.7.0
Starting     base64-bytestring-1.0.0.2
Starting     base-compat-0.10.5
Building     annotated-wl-pprint-0.7.0
Building     base64-bytestring-1.0.0.2
Building     base-orphans-0.8.1
Building     base-compat-0.10.5
Completed    base-orphans-0.8.1
Starting     blaze-builder-0.4.1.0
Building     blaze-builder-0.4.1.0
Completed    annotated-wl-pprint-0.7.0
Starting     code-page-0.2
Completed    base64-bytestring-1.0.0.2
Starting     colour-2.3.5
Building     code-page-0.2
Building     colour-2.3.5
Completed    code-page-0.2
Starting     data-default-class-0.1.2.0
Building     data-default-class-0.1.2.0
Completed    blaze-builder-0.4.1.0
Starting     digest-0.0.1.2
Building     digest-0.0.1.2
Completed    base-compat-0.10.5
Starting     dlist-0.8.0.6
Completed    data-default-class-0.1.2.0
Starting     fingertree-0.1.4.2
Building     dlist-0.8.0.6
Building     fingertree-0.1.4.2
Completed    digest-0.0.1.2
Starting     hashable-1.3.0.0
Building     hashable-1.3.0.0
Completed    dlist-0.8.0.6
Starting     ieee754-0.8.0
Completed    colour-2.3.5
Starting     integer-logarithms-1.0.3
Building     ieee754-0.8.0
Building     integer-logarithms-1.0.3
Completed    hashable-1.3.0.0
Starting     network-2.8.0.1
Completed    integer-logarithms-1.0.3
Starting     network-uri-2.6.1.0
Building     network-uri-2.6.1.0
Completed    fingertree-0.1.4.2
Starting     old-locale-1.0.0.7
Completed    ieee754-0.8.0
Starting     parser-combinators-1.1.0
Building     old-locale-1.0.0.7
Building     parser-combinators-1.1.0
Building     network-2.8.0.1
Completed    old-locale-1.0.0.7
Starting     primitive-0.7.0.0
Building     primitive-0.7.0.0
Completed    network-uri-2.6.1.0
Starting     random-1.1
Completed    parser-combinators-1.1.0
Starting     regex-base-0.93.2
Building     random-1.1
Building     regex-base-0.93.2
Completed    regex-base-0.93.2
Starting     safe-0.3.17
Completed    random-1.1
Starting     semigroups-0.19
Building     safe-0.3.17
Building     semigroups-0.19
Completed    semigroups-0.19
Starting     split-0.2.3.3
Building     split-0.2.3.3
Completed    safe-0.3.17
Starting     syb-0.7.1
Completed    network-2.8.0.1
Starting     system-filepath-0.4.14
Building     syb-0.7.1
Completed    split-0.2.3.3
Starting     tagged-0.8.6
Building     tagged-0.8.6
Building     system-filepath-0.4.14
Completed    primitive-0.7.0.0
Starting     tagsoup-0.14.8
Completed    syb-0.7.1
Starting     terminal-size-0.3.2.1
Completed    tagged-0.8.6
Starting     th-abstraction-0.3.1.0
Building     tagsoup-0.14.8
Building     terminal-size-0.3.2.1
Building     th-abstraction-0.3.1.0
Completed    system-filepath-0.4.14
Starting     transformers-compat-0.6.5
Completed    terminal-size-0.3.2.1
Starting     unix-compat-0.5.1
Building     transformers-compat-0.6.5
Building     unix-compat-0.5.1
Completed    unix-compat-0.5.1
Starting     utf8-string-1.0.1.1
Completed    th-abstraction-0.3.1.0
Starting     zlib-0.6.2
Building     utf8-string-1.0.1.1
Completed    transformers-compat-0.6.5
Starting     time-compat-1.9.2.2
Building     zlib-0.6.2
Building     time-compat-1.9.2.2
Completed    utf8-string-1.0.1.1
Starting     blaze-markup-0.8.2.2
Building     blaze-markup-0.8.2.2
Completed    time-compat-1.9.2.2
Starting     data-default-instances-containers-0.0.1
Building     data-default-instances-containers-0.0.1
Completed    zlib-0.6.2
Starting     data-default-instances-dlist-0.0.1
Building     data-default-instances-dlist-0.0.1
Completed    tagsoup-0.14.8
Starting     ansi-terminal-0.8.2
Completed    data-default-instances-containers-0.0.1
Starting     unordered-containers-0.2.10.0
Building     ansi-terminal-0.8.2
Completed    data-default-instances-dlist-0.0.1
Starting     case-insensitive-1.2.1.0
Building     unordered-containers-0.2.10.0
Completed    blaze-markup-0.8.2.2
Starting     async-2.2.2
Building     case-insensitive-1.2.1.0
Building     async-2.2.2
Completed    case-insensitive-1.2.1.0
Starting     data-default-instances-old-locale-0.0.1
Completed    ansi-terminal-0.8.2
Starting     regex-tdfa-1.2.3.2
Building     data-default-instances-old-locale-0.0.1
Building     regex-tdfa-1.2.3.2
Completed    async-2.2.2
Starting     uuid-types-1.0.3
Completed    data-default-instances-old-locale-0.0.1
Starting     vector-0.12.0.3
Building     uuid-types-1.0.3
Building     vector-0.12.0.3
Completed    uuid-types-1.0.3
Starting     scientific-0.3.6.2
Building     scientific-0.3.6.2
Completed    unordered-containers-0.2.10.0
Starting     system-fileio-0.3.16.4
Building     system-fileio-0.3.16.4
Completed    scientific-0.3.6.2
Starting     transformers-base-0.4.5.2
Completed    system-fileio-0.3.16.4
Starting     exceptions-0.10.2
Building     transformers-base-0.4.5.2
Building     exceptions-0.10.2
Completed    transformers-base-0.4.5.2
Starting     constraints-0.11
Building     constraints-0.11
Completed    exceptions-0.10.2
Starting     zip-archive-0.4.1
Building     zip-archive-0.4.1
Completed    regex-tdfa-1.2.3.2
Starting     blaze-html-0.9.1.1
Building     blaze-html-0.9.1.1
Completed    zip-archive-0.4.1
Starting     ansi-wl-pprint-0.6.8.2
Completed    constraints-0.11
Starting     hinotify-0.4
Building     ansi-wl-pprint-0.6.8.2
Building     hinotify-0.4
Completed    ansi-wl-pprint-0.6.8.2
Starting     data-default-0.7.1.1
Completed    hinotify-0.4
Starting     uniplate-1.6.12
Building     data-default-0.7.1.1
Building     uniplate-1.6.12
Completed    data-default-0.7.1.1
Starting     megaparsec-7.0.5
Building     megaparsec-7.0.5
Completed    uniplate-1.6.12
Starting     attoparsec-0.13.2.2
Completed    vector-0.12.0.3
Starting     monad-control-1.0.2.3
Building     attoparsec-0.13.2.2
Building     monad-control-1.0.2.3
Completed    monad-control-1.0.2.3
Starting     optparse-applicative-0.14.3.0
Building     optparse-applicative-0.14.3.0
Completed    blaze-html-0.9.1.1
Starting     vector-binary-instances-0.2.5.1
Building     vector-binary-instances-0.2.5.1
Completed    megaparsec-7.0.5
Starting     lifted-base-0.2.3.12
Building     lifted-base-0.2.3.12
Completed    vector-binary-instances-0.2.5.1
Completed    lifted-base-0.2.3.12
Starting     enclosed-exceptions-1.0.3
Starting     lifted-async-0.10.0.4
Completed    attoparsec-0.13.2.2
Starting     css-text-0.1.3.0
Building     enclosed-exceptions-1.0.3
Building     lifted-async-0.10.0.4
Building     css-text-0.1.3.0
Completed    optparse-applicative-0.14.3.0
Starting     aeson-1.4.4.0
Completed    enclosed-exceptions-1.0.3
Building     aeson-1.4.4.0
Completed    css-text-0.1.3.0
Starting     xss-sanitize-0.3.6
Building     xss-sanitize-0.3.6
Completed    lifted-async-0.10.0.4
Starting     shelly-1.8.1
Building     shelly-1.8.1
Completed    xss-sanitize-0.3.6
Starting     cheapskate-0.1.1.1
Building     cheapskate-0.1.1.1
Completed    shelly-1.8.1
Starting     fsnotify-0.3.0.1
Building     fsnotify-0.3.0.1
Completed    cheapskate-0.1.1.1
Completed    fsnotify-0.3.0.1
Completed    aeson-1.4.4.0
Downloading  idris-1.3.2
Downloaded   idris-1.3.2
Starting     idris-1.3.2
Building     idris-1.3.2
Completed    idris-1.3.2