Build #1 for idris-1.0

[all reports]

Package idris-1.0
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2017-04-01 09:11:31.541677748 UTC
Compiler ghc-8.0.1.20161018
OS linux
Arch x86_64
Dependencies aeson-1.1.1.0, annotated-wl-pprint-0.7.0, ansi-terminal-0.6.2.3, ansi-wl-pprint-0.6.7.3, array-0.5.1.1, async-2.1.1, base-4.9.0.0, base64-bytestring-1.0.0.1, binary-0.8.3.0, blaze-html-0.9.0.1, blaze-markup-0.8.0.0, bytestring-0.10.8.1, cheapskate-0.1.0.5, code-page-0.1.3, containers-0.5.7.1, deepseq-1.4.2.0, directory-1.2.6.2, filepath-1.4.1.0, fingertree-0.1.1.0, fsnotify-0.2.1, haskeline-0.7.2.3, ieee754-0.8.0, mtl-2.2.1, network-2.6.3.1, optparse-applicative-0.13.2.0, parsers-0.12.4, pretty-1.1.3.3, process-1.4.2.0, regex-tdfa-1.2.2, safe-0.3.14, split-0.2.3.1, terminal-size-0.3.2.1, text-1.2.2.1, time-1.6.0.1, transformers-0.5.2.0, transformers-compat-0.5.1.4, trifecta-1.6.2.1, uniplate-1.6.12, unix-2.7.2.0, unordered-containers-0.2.8.0, utf8-string-1.0.1.1, vector-0.12.0.1, vector-binary-instances-0.2.3.4, zip-archive-0.3.0.5, base-4.9.0.0, directory-1.2.6.2, filepath-1.4.1.0, haskeline-0.7.2.3, transformers-0.5.2.0, base-4.9.0.0, filepath-1.4.1.0, haskeline-0.7.2.3, transformers-0.5.2.0, base-4.9.0.0, filepath-1.4.1.0, haskeline-0.7.2.3, transformers-0.5.2.0, base-4.9.0.0, filepath-1.4.1.0, haskeline-0.7.2.3, transformers-0.5.2.0
Flags release -gmp -freestanding -ffi -execonly -ci

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring annotated-wl-pprint-0.7.0...
Configuring ansi-terminal-0.6.2.3...
Building annotated-wl-pprint-0.7.0...
Building ansi-terminal-0.6.2.3...
Installed annotated-wl-pprint-0.7.0
Configuring base-compat-0.9.2...
Building base-compat-0.9.2...
Configuring base-orphans-0.5.4...
Installed ansi-terminal-0.6.2.3
Building base-orphans-0.5.4...
Installed base-orphans-0.5.4
Configuring base64-bytestring-1.0.0.1...
Building base64-bytestring-1.0.0.1...
Configuring cabal-doctest-1...
Installed base-compat-0.9.2
Building cabal-doctest-1...
Configuring code-page-0.1.3...
Installed base64-bytestring-1.0.0.1
Building code-page-0.1.3...
Configuring data-default-class-0.1.2.0...
Installed cabal-doctest-1
Building data-default-class-0.1.2.0...
Configuring digest-0.0.1.2...
Installed code-page-0.1.3
Building digest-0.0.1.2...
Configuring dlist-0.8.0.2...
Installed data-default-class-0.1.2.0
Building dlist-0.8.0.2...
Configuring fingertree-0.1.1.0...
Installed digest-0.0.1.2
Building fingertree-0.1.1.0...
Configuring ieee754-0.8.0...
Installed dlist-0.8.0.2
Building ieee754-0.8.0...
Installed fingertree-0.1.1.0
Configuring integer-logarithms-1.0.1...
Building integer-logarithms-1.0.1...
Configuring mtl-2.2.1...
Installed ieee754-0.8.0
Configuring old-locale-1.0.0.7...
Installed integer-logarithms-1.0.1
Building mtl-2.2.1...
Building old-locale-1.0.0.7...
Configuring network-2.6.3.1...
Installed old-locale-1.0.0.7
Configuring prelude-extras-0.4.0.3...
Installed mtl-2.2.1
Building prelude-extras-0.4.0.3...
Building network-2.6.3.1...
Configuring parallel-3.2.1.0...
Installed prelude-extras-0.4.0.3
Building parallel-3.2.1.0...
Configuring random-1.1...
Installed parallel-3.2.1.0
Building random-1.1...
Configuring primitive-0.6.2.0...
Installed network-2.6.3.1
Building primitive-0.6.2.0...
Configuring safe-0.3.14...
Installed random-1.1
Building safe-0.3.14...
Configuring reflection-2.1.2...
Installed safe-0.3.14
Building reflection-2.1.2...
Configuring semigroups-0.18.2...
Installed primitive-0.6.2.0
Building semigroups-0.18.2...
Configuring split-0.2.3.1...
Installed semigroups-0.18.2
Building split-0.2.3.1...
Configuring syb-0.7...
Installed reflection-2.1.2
Configuring stm-2.4.4.1...
Installed split-0.2.3.1
Building syb-0.7...
Building stm-2.4.4.1...
Configuring terminal-size-0.3.2.1...
Installed stm-2.4.4.1
Building terminal-size-0.3.2.1...
Configuring time-locale-compat-0.1.1.3...
Installed syb-0.7
Building time-locale-compat-0.1.1.3...
Configuring text-1.2.2.1...
Installed time-locale-compat-0.1.1.3
Configuring transformers-compat-0.5.1.4...
Installed terminal-size-0.3.2.1
Building text-1.2.2.1...
Building transformers-compat-0.5.1.4...
Configuring unix-compat-0.4.3.1...
Installed transformers-compat-0.5.1.4
Building unix-compat-0.4.3.1...
Configuring utf8-string-1.0.1.1...
Installed unix-compat-0.4.3.1
Building utf8-string-1.0.1.1...
Configuring void-0.7.2...
Installed utf8-string-1.0.1.1
Building void-0.7.2...
Configuring zlib-0.6.1.2...
Installed void-0.7.2
Building zlib-0.6.1.2...
Configuring ansi-wl-pprint-0.6.7.3...
Installed text-1.2.2.1
Installed zlib-0.6.1.2
Configuring data-default-instances-containers-0.0.1...
Building ansi-wl-pprint-0.6.7.3...
Building data-default-instances-containers-0.0.1...
Configuring data-default-instances-dlist-0.0.1...
Installed data-default-instances-containers-0.0.1
Building data-default-instances-dlist-0.0.1...
Installed ansi-wl-pprint-0.6.7.3
Configuring data-default-instances-old-locale-0.0.1...
Building data-default-instances-old-locale-0.0.1...
Configuring regex-base-0.93.2...
Installed data-default-instances-dlist-0.0.1
Configuring old-time-1.1.0.3...
Installed data-default-instances-old-locale-0.0.1
Building regex-base-0.93.2...
Building old-time-1.1.0.3...
Configuring StateVar-1.1.0.4...
Installed regex-base-0.93.2
Building StateVar-1.1.0.4...
Configuring vector-0.12.0.1...
Installed StateVar-1.1.0.4
Configuring exceptions-0.8.3...
Installed old-time-1.1.0.3
Building vector-0.12.0.1...
Building exceptions-0.8.3...
Configuring async-2.1.1...
Installed exceptions-0.8.3
Building async-2.1.1...
Configuring tagged-0.8.5...
Installed async-2.1.1
Building tagged-0.8.5...
Installed tagged-0.8.5
Configuring blaze-builder-0.4.0.2...
Building blaze-builder-0.4.0.2...
Configuring hashable-1.2.6.0...
Installed blaze-builder-0.4.0.2
Building hashable-1.2.6.0...
Configuring tagsoup-0.14.1...
Installed hashable-1.2.6.0
Building tagsoup-0.14.1...
Configuring parsec-3.1.11...
Installed vector-0.12.0.1
Building parsec-3.1.11...
Installed tagsoup-0.14.1
Configuring optparse-applicative-0.13.2.0...
Building optparse-applicative-0.13.2.0...
Installed parsec-3.1.11
Configuring data-default-0.7.1.1...
Building data-default-0.7.1.1...
Configuring zip-archive-0.3.0.5...
Installed data-default-0.7.1.1
Configuring contravariant-1.4...
Installed optparse-applicative-0.13.2.0
Building contravariant-1.4...
Building zip-archive-0.3.0.5...
Configuring distributive-0.5.2...
Installed contravariant-1.4
Configuring hinotify-0.3.9...
Installed zip-archive-0.3.0.5
Building hinotify-0.3.9...
Building distributive-0.5.2...
Configuring blaze-markup-0.8.0.0...
Installed hinotify-0.3.9
Building blaze-markup-0.8.0.0...
Installed distributive-0.5.2
Configuring unordered-containers-0.2.8.0...
Building unordered-containers-0.2.8.0...
Configuring uuid-types-1.0.3...
Installed blaze-markup-0.8.0.0
Building uuid-types-1.0.3...
Configuring vector-binary-instances-0.2.3.4...
Installed uuid-types-1.0.3
Building vector-binary-instances-0.2.3.4...
Configuring scientific-0.3.4.11...
Installed unordered-containers-0.2.8.0
Building scientific-0.3.4.11...
Installed vector-binary-instances-0.2.3.4
Configuring network-uri-2.6.1.0...
Building network-uri-2.6.1.0...
Installed scientific-0.3.4.11
Configuring regex-tdfa-1.2.2...
Building regex-tdfa-1.2.2...
Installed network-uri-2.6.1.0
Configuring fsnotify-0.2.1...
Building fsnotify-0.2.1...
Installed fsnotify-0.2.1
Configuring comonad-5...
Building comonad-5...
Configuring blaze-html-0.9.0.1...
Installed comonad-5
Building blaze-html-0.9.0.1...
Configuring charset-0.3.7.1...
Installed regex-tdfa-1.2.2
Building charset-0.3.7.1...
Configuring uniplate-1.6.12...
Installed charset-0.3.7.1
Building uniplate-1.6.12...
Configuring attoparsec-0.13.1.0...
Installed uniplate-1.6.12
Building attoparsec-0.13.1.0...
Configuring bifunctors-5.4.1...
Installed blaze-html-0.9.0.1
Building bifunctors-5.4.1...
Installed attoparsec-0.13.1.0
Configuring css-text-0.1.2.2...
Building css-text-0.1.2.2...
Configuring aeson-1.1.1.0...
Installed bifunctors-5.4.1
Configuring parsers-0.12.4...
Installed css-text-0.1.2.2
Building aeson-1.1.1.0...
Building parsers-0.12.4...
Installed parsers-0.12.4
Configuring semigroupoids-5.1...
Building semigroupoids-5.1...
Configuring profunctors-5.2...
Installed aeson-1.1.1.0
Building profunctors-5.2...
Configuring xss-sanitize-0.3.5.7...
Installed semigroupoids-5.1
Building xss-sanitize-0.3.5.7...
Installed xss-sanitize-0.3.5.7
Configuring cheapskate-0.1.0.5...
Building cheapskate-0.1.0.5...
Configuring reducers-3.12.1...
Installed profunctors-5.2
Building reducers-3.12.1...
Installed cheapskate-0.1.0.5
Configuring free-4.12.4...
Building free-4.12.4...
Installed reducers-3.12.1
Installed free-4.12.4
Configuring adjunctions-4.3...
Building adjunctions-4.3...
Installed adjunctions-4.3
Configuring kan-extensions-5.0.1...
Building kan-extensions-5.0.1...
Installed kan-extensions-5.0.1
Configuring lens-4.15.1...
Building lens-4.15.1...
Installed lens-4.15.1
Configuring trifecta-1.6.2.1...
Building trifecta-1.6.2.1...
Installed trifecta-1.6.2.1
Downloading idris-1.0...
Configuring idris-1.0...
Building idris-1.0...
Installed idris-1.0

Test log

No test log was submitted for this report.