Build #1 for idris-1.3.0
| 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 |
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 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
Test log
No test log was submitted for this report.