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