Build #1 for idris-1.2.0
| Package | idris-1.2.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2018-01-07 22:58:48.368106161 UTC |
|---|---|
| Compiler | ghc-8.2.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | aeson-1.2.3.0, annotated-wl-pprint-0.7.0, ansi-terminal-0.7.1.1, ansi-wl-pprint-0.6.8.1, 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.0.0, 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.3.1, fsnotify-0.2.1.1, haskeline-0.7.4.0, ieee754-0.8.0, megaparsec-6.4.0, mtl-2.2.1, network-2.6.3.2, optparse-applicative-0.14.0.0, pretty-1.1.3.3, process-1.6.1.0, regex-tdfa-1.2.2, safe-0.3.16, 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.3.5, zip-archive-0.3.1.1, 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 | 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 base-compat-0.9.3... Building annotated-wl-pprint-0.7.0... Building base-compat-0.9.3... 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.0.2... Building blaze-builder-0.4.0.2... Installed base64-bytestring-1.0.0.1 Configuring code-page-0.1.3... Building code-page-0.1.3... Installed blaze-builder-0.4.0.2 Configuring colour-2.3.4... Installed code-page-0.1.3 Configuring css-text-0.1.2.2... Building colour-2.3.4... Building css-text-0.1.2.2... Installed css-text-0.1.2.2 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.3... Installed digest-0.0.1.2 Configuring fingertree-0.1.3.1... Building dlist-0.8.0.3... Building fingertree-0.1.3.1... Installed dlist-0.8.0.3 Configuring hinotify-0.3.9... Building hinotify-0.3.9... Installed fingertree-0.1.3.1 Configuring ieee754-0.8.0... Installed hinotify-0.3.9 Configuring old-locale-1.0.0.7... Building ieee754-0.8.0... Building old-locale-1.0.0.7... Installed old-locale-1.0.0.7 Configuring parser-combinators-0.4.0... Building parser-combinators-0.4.0... Installed ieee754-0.8.0 Configuring regex-tdfa-1.2.2... Building regex-tdfa-1.2.2... Installed parser-combinators-0.4.0 Configuring safe-0.3.16... Building safe-0.3.16... Installed safe-0.3.16 Configuring tagsoup-0.14.2... Building tagsoup-0.14.2... Installed regex-tdfa-1.2.2 Configuring terminal-size-0.3.2.1... Building terminal-size-0.3.2.1... Installed tagsoup-0.14.2 Configuring th-abstraction-0.2.6.0... Installed terminal-size-0.3.2.1 Configuring time-locale-compat-0.1.1.3... Building th-abstraction-0.2.6.0... Building time-locale-compat-0.1.1.3... Installed time-locale-compat-0.1.1.3 Configuring transformers-compat-0.5.1.4... Building transformers-compat-0.5.1.4... Installed transformers-compat-0.5.1.4 Configuring uniplate-1.6.12... Installed th-abstraction-0.2.6.0 Configuring unix-compat-0.5.0.1... Building uniplate-1.6.12... 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... Installed utf8-string-1.0.1.1 Configuring vector-binary-instances-0.2.3.5... Building uuid-types-1.0.3... Building vector-binary-instances-0.2.3.5... Installed vector-binary-instances-0.2.3.5 Configuring blaze-markup-0.8.0.0... Building blaze-markup-0.8.0.0... Installed uuid-types-1.0.3 Configuring data-default-instances-containers-0.0.1... Building data-default-instances-containers-0.0.1... Installed data-default-instances-containers-0.0.1 Configuring ansi-terminal-0.7.1.1... Installed blaze-markup-0.8.0.0 Configuring data-default-instances-dlist-0.0.1... Building ansi-terminal-0.7.1.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.7.1.1 Configuring data-default-instances-old-locale-0.0.1... Building old-time-1.1.0.3... Building data-default-instances-old-locale-0.0.1... Installed data-default-instances-old-locale-0.0.1 Configuring megaparsec-6.4.0... Building megaparsec-6.4.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.1... Building fsnotify-0.2.1.1... Installed fsnotify-0.2.1.1 Configuring xss-sanitize-0.3.5.7... Building xss-sanitize-0.3.5.7... Installed megaparsec-6.4.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.1... Building ansi-wl-pprint-0.6.8.1... Installed ansi-wl-pprint-0.6.8.1 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.1.1... Building zip-archive-0.3.1.1... Installed zip-archive-0.3.1.1 Configuring aeson-1.2.3.0... Building aeson-1.2.3.0... Installed blaze-html-0.9.0.1 Configuring optparse-applicative-0.14.0.0... Building optparse-applicative-0.14.0.0... Installed optparse-applicative-0.14.0.0 Configuring cheapskate-0.1.1... Building cheapskate-0.1.1... Installed cheapskate-0.1.1 Installed aeson-1.2.3.0 Downloading idris-1.2.0... Configuring idris-1.2.0... Building idris-1.2.0... Installed idris-1.2.0
Test log
No test log was submitted for this report.