Build #1 for idris-1.3.1
| Package | idris-1.3.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2018-10-23 10:42:14.320982097 UTC |
|---|---|
| Compiler | ghc-8.4.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | aeson-1.3.1.1, annotated-wl-pprint-0.7.0, ansi-terminal-0.8.1, ansi-wl-pprint-0.6.8.2, array-0.5.2.0, async-2.2.1, base-4.11.1.0, base64-bytestring-1.0.0.1, binary-0.8.5.1, blaze-html-0.9.1.1, blaze-markup-0.8.2.2, bytestring-0.10.8.2, cheapskate-0.1.1, code-page-0.1.3, containers-0.5.11.0, deepseq-1.4.3.0, directory-1.3.1.5, filepath-1.4.2, fingertree-0.1.4.1, fsnotify-0.3.0.1, haskeline-0.7.4.2, ieee754-0.8.0, megaparsec-6.5.0, mtl-2.2.2, network-2.7.0.2, optparse-applicative-0.14.3.0, pretty-1.1.3.6, process-1.6.3.0, regex-tdfa-1.2.3.1, safe-0.3.17, split-0.2.3.3, terminal-size-0.3.2.1, text-1.2.3.0, time-1.8.0.2, transformers-0.5.5.0, uniplate-1.6.12, unix-2.7.2.2, unordered-containers-0.2.9.0, utf8-string-1.0.1.1, vector-0.12.0.1, vector-binary-instances-0.2.5, zip-archive-0.3.3, base-4.11.1.0, directory-1.3.1.5, filepath-1.4.2, haskeline-0.7.4.2, transformers-0.5.5.0, base-4.11.1.0, filepath-1.4.2, haskeline-0.7.4.2, transformers-0.5.5.0, base-4.11.1.0, filepath-1.4.2, haskeline-0.7.4.2, transformers-0.5.5.0, base-4.11.1.0, filepath-1.4.2, haskeline-0.7.4.2, transformers-0.5.5.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.10.5... Building annotated-wl-pprint-0.7.0... Building base-compat-0.10.5... Installed annotated-wl-pprint-0.7.0 Configuring base-orphans-0.8... Building base-orphans-0.8... Installed base-orphans-0.8 Configuring base64-bytestring-1.0.0.1... Installed base-compat-0.10.5 Configuring blaze-builder-0.4.1.0... Building base64-bytestring-1.0.0.1... 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 data-default-class-0.1.2.0... Building colour-2.3.4... 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 digest-0.0.1.2 Configuring dlist-0.8.0.5... Building dlist-0.8.0.5... Installed colour-2.3.4 Configuring fingertree-0.1.4.1... Building fingertree-0.1.4.1... Installed dlist-0.8.0.5 Configuring hashable-1.2.7.0... Building hashable-1.2.7.0... Installed hashable-1.2.7.0 Configuring ieee754-0.8.0... Building ieee754-0.8.0... Installed fingertree-0.1.4.1 Configuring integer-logarithms-1.0.2.2... Building integer-logarithms-1.0.2.2... Installed integer-logarithms-1.0.2.2 Configuring network-2.7.0.2... Installed ieee754-0.8.0 Configuring network-uri-2.6.1.0... Building network-uri-2.6.1.0... Building network-2.7.0.2... Installed network-uri-2.6.1.0 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 parser-combinators-1.0.0 Configuring primitive-0.6.4.0... Building primitive-0.6.4.0... Installed network-2.7.0.2 Configuring random-1.1... Building random-1.1... Installed random-1.1 Configuring regex-base-0.93.2... Building regex-base-0.93.2... Installed regex-base-0.93.2 Configuring safe-0.3.17... Building safe-0.3.17... Installed primitive-0.6.4.0 Configuring semigroups-0.18.5... Building semigroups-0.18.5... Installed safe-0.3.17 Configuring split-0.2.3.3... Building split-0.2.3.3... Installed semigroups-0.18.5 Configuring syb-0.7... Building syb-0.7... Installed split-0.2.3.3 Configuring system-filepath-0.4.14... Installed syb-0.7 Configuring tagged-0.8.6... Building system-filepath-0.4.14... Building tagged-0.8.6... Installed tagged-0.8.6 Configuring tagsoup-0.14.7... Installed system-filepath-0.4.14 Configuring terminal-size-0.3.2.1... Building tagsoup-0.14.7... Building terminal-size-0.3.2.1... Installed terminal-size-0.3.2.1 Configuring th-abstraction-0.2.8.0... Building th-abstraction-0.2.8.0... Installed th-abstraction-0.2.8.0 Configuring time-locale-compat-0.1.1.5... Building time-locale-compat-0.1.1.5... Installed time-locale-compat-0.1.1.5 Configuring transformers-compat-0.6.2... Building transformers-compat-0.6.2... Installed tagsoup-0.14.7 Configuring unix-compat-0.5.1... Building unix-compat-0.5.1... Installed transformers-compat-0.6.2 Configuring utf8-string-1.0.1.1... Building utf8-string-1.0.1.1... Installed unix-compat-0.5.1 Configuring zlib-0.6.2... Building zlib-0.6.2... Installed utf8-string-1.0.1.1 Configuring blaze-markup-0.8.2.2... Building blaze-markup-0.8.2.2... Installed zlib-0.6.2 Configuring data-default-instances-containers-0.0.1... Building data-default-instances-containers-0.0.1... Installed blaze-markup-0.8.2.2 Configuring ansi-terminal-0.8.1... Building ansi-terminal-0.8.1... Installed data-default-instances-containers-0.0.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 unordered-containers-0.2.9.0... Building unordered-containers-0.2.9.0... Installed ansi-terminal-0.8.1 Configuring case-insensitive-1.2.0.11... Building case-insensitive-1.2.0.11... Installed case-insensitive-1.2.0.11 Configuring async-2.2.1... Building async-2.2.1... Installed async-2.2.1 Configuring data-default-instances-old-locale-0.0.1... Building data-default-instances-old-locale-0.0.1... Installed unordered-containers-0.2.9.0 Configuring uuid-types-1.0.3... Installed data-default-instances-old-locale-0.0.1 Configuring regex-tdfa-1.2.3.1... Building uuid-types-1.0.3... Building regex-tdfa-1.2.3.1... Installed uuid-types-1.0.3 Configuring vector-0.12.0.1... Building vector-0.12.0.1... Installed regex-tdfa-1.2.3.1 Configuring scientific-0.3.6.2... Building scientific-0.3.6.2... Installed scientific-0.3.6.2 Configuring system-fileio-0.3.16.4... Building system-fileio-0.3.16.4... Installed system-fileio-0.3.16.4 Configuring transformers-base-0.4.5.2... Building transformers-base-0.4.5.2... Installed transformers-base-0.4.5.2 Configuring exceptions-0.10.0... Building exceptions-0.10.0... Installed exceptions-0.10.0 Configuring constraints-0.10.1... Building constraints-0.10.1... Installed vector-0.12.0.1 Configuring zip-archive-0.3.3... Building zip-archive-0.3.3... Installed constraints-0.10.1 Configuring blaze-html-0.9.1.1... Building blaze-html-0.9.1.1... Installed zip-archive-0.3.3 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 hinotify-0.4... Building hinotify-0.4... Installed hinotify-0.4 Configuring uniplate-1.6.12... Building uniplate-1.6.12... Installed uniplate-1.6.12 Configuring data-default-0.7.1.1... Installed blaze-html-0.9.1.1 Configuring megaparsec-6.5.0... Building data-default-0.7.1.1... Building megaparsec-6.5.0... Installed data-default-0.7.1.1 Configuring attoparsec-0.13.2.2... Building attoparsec-0.13.2.2... Installed attoparsec-0.13.2.2 Configuring monad-control-1.0.2.3... Building monad-control-1.0.2.3... Installed megaparsec-6.5.0 Configuring vector-binary-instances-0.2.5... Building vector-binary-instances-0.2.5... Installed monad-control-1.0.2.3 Configuring optparse-applicative-0.14.3.0... Building optparse-applicative-0.14.3.0... Installed vector-binary-instances-0.2.5 Configuring css-text-0.1.3.0... Building css-text-0.1.3.0... Installed css-text-0.1.3.0 Configuring aeson-1.3.1.1... Building aeson-1.3.1.1... Installed optparse-applicative-0.14.3.0 Configuring lifted-base-0.2.3.12... Building lifted-base-0.2.3.12... Installed lifted-base-0.2.3.12 Configuring xss-sanitize-0.3.6... Building xss-sanitize-0.3.6... Installed xss-sanitize-0.3.6 Configuring lifted-async-0.10.0.3... Building lifted-async-0.10.0.3... Installed lifted-async-0.10.0.3 Configuring enclosed-exceptions-1.0.3... Building enclosed-exceptions-1.0.3... Installed enclosed-exceptions-1.0.3 Configuring cheapskate-0.1.1... Building cheapskate-0.1.1... Installed cheapskate-0.1.1 Configuring shelly-1.8.1... Installed aeson-1.3.1.1 Building shelly-1.8.1... Installed shelly-1.8.1 Configuring fsnotify-0.3.0.1... Building fsnotify-0.3.0.1... Installed fsnotify-0.3.0.1 Downloading idris-1.3.1... Configuring idris-1.3.1... Building idris-1.3.1... Installed idris-1.3.1
Test log
No test log was submitted for this report.