Build #1 for idris-1.3.0

[all reports]

Package idris-1.3.0
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2018-05-26 17:36:30.086710564 UTC
Compiler ghc-8.2.2
OS linux
Arch x86_64
Dependencies aeson-1.2.4.0, annotated-wl-pprint-0.7.0, ansi-terminal-0.8.0.4, ansi-wl-pprint-0.6.8.2, array-0.5.2.0, async-2.1.1.1, base-4.10.1.0, base64-bytestring-1.0.0.1, binary-0.8.5.1, blaze-html-0.9.0.1, blaze-markup-0.8.2.1, bytestring-0.10.8.2, cheapskate-0.1.1, code-page-0.1.3, containers-0.5.10.2, deepseq-1.4.3.0, directory-1.3.0.2, filepath-1.4.1.2, fingertree-0.1.4.1, fsnotify-0.2.1.2, haskeline-0.7.4.0, ieee754-0.8.0, megaparsec-6.5.0, mtl-2.2.1, network-2.6.3.2, optparse-applicative-0.14.2.0, pretty-1.1.3.3, process-1.6.1.0, regex-tdfa-1.2.3, safe-0.3.17, split-0.2.3.2, terminal-size-0.3.2.1, text-1.2.2.2, time-1.8.0.2, transformers-0.5.2.0, uniplate-1.6.12, unix-2.7.2.2, unordered-containers-0.2.8.0, utf8-string-1.0.1.1, vector-0.12.0.1, vector-binary-instances-0.2.4, zip-archive-0.3.2.4, base-4.10.1.0, directory-1.3.0.2, filepath-1.4.1.2, haskeline-0.7.4.0, transformers-0.5.2.0, base-4.10.1.0, filepath-1.4.1.2, haskeline-0.7.4.0, transformers-0.5.2.0, base-4.10.1.0, filepath-1.4.1.2, haskeline-0.7.4.0, transformers-0.5.2.0, base-4.10.1.0, filepath-1.4.1.2, haskeline-0.7.4.0, transformers-0.5.2.0
Flags -ci -execonly -ffi -freestanding -gmp release

Build log

[view raw]

Resolving dependencies...
Configuring annotated-wl-pprint-0.7.0...
Configuring base-compat-0.9.3...
Building base-compat-0.9.3...
Building annotated-wl-pprint-0.7.0...
Installed annotated-wl-pprint-0.7.0
Configuring base64-bytestring-1.0.0.1...
Building base64-bytestring-1.0.0.1...
Installed base-compat-0.9.3
Configuring blaze-builder-0.4.1.0...
Building blaze-builder-0.4.1.0...
Installed base64-bytestring-1.0.0.1
Configuring code-page-0.1.3...
Building code-page-0.1.3...
Installed blaze-builder-0.4.1.0
Configuring colour-2.3.4...
Installed code-page-0.1.3
Configuring css-text-0.1.3.0...
Building colour-2.3.4...
Building css-text-0.1.3.0...
Installed css-text-0.1.3.0
Configuring data-default-class-0.1.2.0...
Building data-default-class-0.1.2.0...
Installed data-default-class-0.1.2.0
Configuring digest-0.0.1.2...
Building digest-0.0.1.2...
Installed colour-2.3.4
Configuring dlist-0.8.0.4...
Installed digest-0.0.1.2
Configuring fingertree-0.1.4.1...
Building dlist-0.8.0.4...
Building fingertree-0.1.4.1...
Installed dlist-0.8.0.4
Configuring hinotify-0.3.10...
Building hinotify-0.3.10...
Installed hinotify-0.3.10
Configuring ieee754-0.8.0...
Building ieee754-0.8.0...
Installed fingertree-0.1.4.1
Configuring old-locale-1.0.0.7...
Building old-locale-1.0.0.7...
Installed old-locale-1.0.0.7
Configuring parser-combinators-1.0.0...
Building parser-combinators-1.0.0...
Installed ieee754-0.8.0
Configuring regex-tdfa-1.2.3...
Building regex-tdfa-1.2.3...
Installed parser-combinators-1.0.0
Configuring safe-0.3.17...
Building safe-0.3.17...
Installed safe-0.3.17
Configuring tagsoup-0.14.6...
Building tagsoup-0.14.6...
Installed regex-tdfa-1.2.3
Configuring terminal-size-0.3.2.1...
Building terminal-size-0.3.2.1...
Installed tagsoup-0.14.6
Configuring th-abstraction-0.2.6.0...
Installed terminal-size-0.3.2.1
Configuring time-locale-compat-0.1.1.4...
Building th-abstraction-0.2.6.0...
Building time-locale-compat-0.1.1.4...
Installed time-locale-compat-0.1.1.4
Configuring transformers-compat-0.6.2...
Building transformers-compat-0.6.2...
Installed th-abstraction-0.2.6.0
Configuring uniplate-1.6.12...
Building uniplate-1.6.12...
Installed transformers-compat-0.6.2
Configuring unix-compat-0.5.0.1...
Building unix-compat-0.5.0.1...
Installed unix-compat-0.5.0.1
Configuring utf8-string-1.0.1.1...
Building utf8-string-1.0.1.1...
Installed uniplate-1.6.12
Configuring uuid-types-1.0.3...
Building uuid-types-1.0.3...
Installed utf8-string-1.0.1.1
Configuring vector-binary-instances-0.2.4...
Building vector-binary-instances-0.2.4...
Installed vector-binary-instances-0.2.4
Configuring blaze-markup-0.8.2.1...
Installed uuid-types-1.0.3
Configuring data-default-instances-containers-0.0.1...
Building blaze-markup-0.8.2.1...
Building data-default-instances-containers-0.0.1...
Installed data-default-instances-containers-0.0.1
Configuring ansi-terminal-0.8.0.4...
Building ansi-terminal-0.8.0.4...
Installed blaze-markup-0.8.2.1
Configuring data-default-instances-dlist-0.0.1...
Building data-default-instances-dlist-0.0.1...
Installed data-default-instances-dlist-0.0.1
Configuring old-time-1.1.0.3...
Installed ansi-terminal-0.8.0.4
Configuring data-default-instances-old-locale-0.0.1...
Building data-default-instances-old-locale-0.0.1...
Building old-time-1.1.0.3...
Installed data-default-instances-old-locale-0.0.1
Configuring megaparsec-6.5.0...
Building megaparsec-6.5.0...
Installed old-time-1.1.0.3
Configuring tagged-0.8.5...
Building tagged-0.8.5...
Installed tagged-0.8.5
Configuring fsnotify-0.2.1.2...
Building fsnotify-0.2.1.2...
Installed fsnotify-0.2.1.2
Configuring xss-sanitize-0.3.5.7...
Building xss-sanitize-0.3.5.7...
Installed megaparsec-6.5.0
Configuring blaze-html-0.9.0.1...
Building blaze-html-0.9.0.1...
Installed xss-sanitize-0.3.5.7
Configuring ansi-wl-pprint-0.6.8.2...
Building ansi-wl-pprint-0.6.8.2...
Installed ansi-wl-pprint-0.6.8.2
Configuring data-default-0.7.1.1...
Building data-default-0.7.1.1...
Installed data-default-0.7.1.1
Configuring zip-archive-0.3.2.4...
Building zip-archive-0.3.2.4...
Installed zip-archive-0.3.2.4
Configuring aeson-1.2.4.0...
Building aeson-1.2.4.0...
Installed blaze-html-0.9.0.1
Configuring optparse-applicative-0.14.2.0...
Building optparse-applicative-0.14.2.0...
Installed optparse-applicative-0.14.2.0
Configuring cheapskate-0.1.1...
Building cheapskate-0.1.1...
Installed cheapskate-0.1.1
Installed aeson-1.2.4.0
Downloading idris-1.3.0...
Configuring idris-1.3.0...
Building idris-1.3.0...
Installed idris-1.3.0