Resolving dependencies... Configuring annotated-wl-pprint-0.7.0... Configuring ansi-terminal-0.6.2.3... Building ansi-terminal-0.6.2.3... Building annotated-wl-pprint-0.7.0... Installed annotated-wl-pprint-0.7.0 Configuring base-compat-0.9.1... Building base-compat-0.9.1... Configuring base-orphans-0.5.4... Installed ansi-terminal-0.6.2.3 Building base-orphans-0.5.4... Configuring data-default-class-0.1.2.0... Installed base-orphans-0.5.4 Building data-default-class-0.1.2.0... Configuring base64-bytestring-1.0.0.1... Installed base-compat-0.9.1 Building base64-bytestring-1.0.0.1... Configuring digest-0.0.1.2... Installed data-default-class-0.1.2.0 Building digest-0.0.1.2... Configuring dlist-0.8.0.2... Installed base64-bytestring-1.0.0.1 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.7.9... Installed dlist-0.8.0.2 Building ieee754-0.7.9... Configuring mtl-2.2.1... Installed fingertree-0.1.1.0 Building mtl-2.2.1... Configuring old-locale-1.0.0.7... Installed ieee754-0.7.9 Building old-locale-1.0.0.7... Configuring network-2.6.3.1... Installed old-locale-1.0.0.7 Configuring parallel-3.2.1.0... Installed mtl-2.2.1 Building parallel-3.2.1.0... Building network-2.6.3.1... Configuring prelude-extras-0.4.0.3... Installed parallel-3.2.1.0 Building prelude-extras-0.4.0.3... Configuring primitive-0.6.1.0... Installed prelude-extras-0.4.0.3 Building primitive-0.6.1.0... Configuring reflection-2.1.2... Installed network-2.6.3.1 Building reflection-2.1.2... Configuring safe-0.3.9... Installed primitive-0.6.1.0 Building safe-0.3.9... Configuring semigroups-0.18.2... Installed safe-0.3.9 Building semigroups-0.18.2... Configuring split-0.2.3.1... Installed reflection-2.1.2 Building split-0.2.3.1... Configuring stm-2.4.4.1... Installed semigroups-0.18.2 Building stm-2.4.4.1... Configuring terminal-size-0.3.2.1... Installed split-0.2.3.1 Building terminal-size-0.3.2.1... Configuring syb-0.6... Installed stm-2.4.4.1 Building syb-0.6... Configuring time-locale-compat-0.1.1.3... Installed terminal-size-0.3.2.1 Building time-locale-compat-0.1.1.3... Configuring text-1.2.2.1... Installed time-locale-compat-0.1.1.3 Building text-1.2.2.1... Configuring unix-compat-0.4.3.1... Installed syb-0.6 Building unix-compat-0.4.3.1... Configuring transformers-compat-0.5.1.4... Installed unix-compat-0.4.3.1 Building transformers-compat-0.5.1.4... Configuring utf8-string-1.0.1.1... Installed transformers-compat-0.5.1.4 Building utf8-string-1.0.1.1... Configuring zlib-0.6.1.2... Installed utf8-string-1.0.1.1 Building zlib-0.6.1.2... Installed zlib-0.6.1.2 Configuring ansi-wl-pprint-0.6.7.3... Building ansi-wl-pprint-0.6.7.3... Configuring data-default-instances-containers-0.0.1... Installed text-1.2.2.1 Building data-default-instances-containers-0.0.1... Configuring data-default-instances-dlist-0.0.1... Installed data-default-instances-containers-0.0.1 Configuring data-default-instances-old-locale-0.0.1... Installed ansi-wl-pprint-0.6.7.3 Building data-default-instances-dlist-0.0.1... Building data-default-instances-old-locale-0.0.1... Configuring old-time-1.1.0.3... Installed data-default-instances-dlist-0.0.1 Configuring regex-base-0.93.2... 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 exceptions-0.8.3... Installed old-time-1.1.0.3 Building exceptions-0.8.3... Configuring tagged-0.8.5... Installed StateVar-1.1.0.4 Building tagged-0.8.5... Configuring async-2.1.1... Installed exceptions-0.8.3 Configuring vector-0.11.0.0... Installed tagged-0.8.5 Building async-2.1.1... Building vector-0.11.0.0... Installed async-2.1.1 Configuring blaze-builder-0.4.0.2... Building blaze-builder-0.4.0.2... Configuring hashable-1.2.4.0... Installed blaze-builder-0.4.0.2 Building hashable-1.2.4.0... Configuring parsec-3.1.11... Installed hashable-1.2.4.0 Building parsec-3.1.11... Configuring tagsoup-0.14... Installed parsec-3.1.11 Building tagsoup-0.14... Configuring optparse-applicative-0.13.0.0... Installed vector-0.11.0.0 Building optparse-applicative-0.13.0.0... Configuring data-default-0.7.1.1... Installed tagsoup-0.14 Building data-default-0.7.1.1... Configuring zip-archive-0.3.0.5... Installed data-default-0.7.1.1 Configuring distributive-0.5.0.2... Installed optparse-applicative-0.13.0.0 Building zip-archive-0.3.0.5... Building distributive-0.5.0.2... Configuring hinotify-0.3.9... Installed distributive-0.5.0.2 Building hinotify-0.3.9... Installed zip-archive-0.3.0.5 Configuring blaze-markup-0.7.1.1... Building blaze-markup-0.7.1.1... Configuring unordered-containers-0.2.7.1... Installed hinotify-0.3.9 Building unordered-containers-0.2.7.1... Configuring void-0.7.1... Installed blaze-markup-0.7.1.1 Building void-0.7.1... Configuring network-uri-2.6.1.0... Installed void-0.7.1 Building network-uri-2.6.1.0... Configuring regex-tdfa-1.2.2... Installed network-uri-2.6.1.0 Building regex-tdfa-1.2.2... Configuring scientific-0.3.4.9... Installed unordered-containers-0.2.7.1 Building scientific-0.3.4.9... Configuring vector-binary-instances-0.2.3.3... Installed scientific-0.3.4.9 Building vector-binary-instances-0.2.3.3... Installed vector-binary-instances-0.2.3.3 Configuring fsnotify-0.2.1... Building fsnotify-0.2.1... Configuring contravariant-1.4... Installed fsnotify-0.2.1 Configuring charset-0.3.7.1... Installed regex-tdfa-1.2.2 Building contravariant-1.4... Building charset-0.3.7.1... Configuring blaze-html-0.8.1.3... Installed contravariant-1.4 Building blaze-html-0.8.1.3... 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 comonad-5... Installed blaze-html-0.8.1.3 Installed attoparsec-0.13.1.0 Configuring aeson-1.0.2.1... Building aeson-1.0.2.1... Building comonad-5... Configuring css-text-0.1.2.2... Installed comonad-5 Building css-text-0.1.2.2... Configuring parsers-0.12.4... Installed css-text-0.1.2.2 Building parsers-0.12.4... Installed parsers-0.12.4 Configuring xss-sanitize-0.3.5.7... Building xss-sanitize-0.3.5.7... Configuring bifunctors-5.4.1... Installed aeson-1.0.2.1 Building bifunctors-5.4.1... Installed xss-sanitize-0.3.5.7 Configuring cheapskate-0.1.0.5... Building cheapskate-0.1.0.5... Installed bifunctors-5.4.1 Configuring profunctors-5.2... Building profunctors-5.2... Configuring semigroupoids-5.1... Installed cheapskate-0.1.0.5 Building semigroupoids-5.1... Installed profunctors-5.2 Installed semigroupoids-5.1 Configuring free-4.12.4... Configuring reducers-3.12.1... Building reducers-3.12.1... 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.1... Building trifecta-1.6.1... Installed trifecta-1.6.1 Downloading idris-0.99... Configuring idris-0.99... Building idris-0.99... Installed idris-0.99