Resolving dependencies...
Configuring ansi-terminal-0.6.3.1...
Configuring SHA-1.6.4.2...
Building ansi-terminal-0.6.3.1...
Building SHA-1.6.4.2...
Installed ansi-terminal-0.6.3.1
Configuring appar-0.1.4...
Building appar-0.1.4...
Installed appar-0.1.4
Configuring auto-update-0.1.4...
Building auto-update-0.1.4...
Configuring base-compat-0.9.3...
Installed auto-update-0.1.4
Building base-compat-0.9.3...
Configuring byteable-0.1.1...
Installed SHA-1.6.4.2
Building byteable-0.1.1...
Configuring base64-bytestring-1.0.0.1...
Installed byteable-0.1.1
Configuring byteorder-1.0.4...
Installed base-compat-0.9.3
Building base64-bytestring-1.0.0.1...
Building byteorder-1.0.4...
Configuring cereal-0.5.4.0...
Installed byteorder-1.0.4
Building cereal-0.5.4.0...
Configuring bytestring-builder-0.10.8.1.0...
Installed base64-bytestring-1.0.0.1
Building bytestring-builder-0.10.8.1.0...
Configuring data-default-class-0.1.2.0...
Installed bytestring-builder-0.10.8.1.0
Building data-default-class-0.1.2.0...
Configuring cmdargs-0.10.17...
Installed data-default-class-0.1.2.0
Building cmdargs-0.10.17...
Configuring digest-0.0.1.2...
Installed cereal-0.5.4.0
Building digest-0.0.1.2...
Configuring data-hash-0.2.0.1...
Installed digest-0.0.1.2
Building data-hash-0.2.0.1...
Configuring easy-file-0.2.1...
Installed data-hash-0.2.0.1
Building easy-file-0.2.1...
Configuring dlist-0.8.0.2...
Installed easy-file-0.2.1
Building dlist-0.8.0.2...
Configuring file-embed-0.0.10...
Installed dlist-0.8.0.2
Building file-embed-0.0.10...
Configuring extensible-exceptions-0.1.1.4...
Installed file-embed-0.0.10
Building extensible-exceptions-0.1.1.4...
Configuring haddock-library-1.4.3...
Installed extensible-exceptions-0.1.1.4
Building haddock-library-1.4.3...
Configuring foundation-0.0.9...
Installed cmdargs-0.10.17
Building foundation-0.0.9...
Configuring hourglass-0.2.10...
Installed haddock-library-1.4.3
Building hourglass-0.2.10...
Configuring hslua-0.4.1...
Installed hourglass-0.2.10
Building hslua-0.4.1...
Configuring hxt-charproperties-9.2.0.1...
Installed hslua-0.4.1
Building hxt-charproperties-9.2.0.1...
Configuring ieee754-0.8.0...
Installed hxt-charproperties-9.2.0.1
Building ieee754-0.8.0...
Configuring monadplus-1.4.2...
Installed ieee754-0.8.0
Building monadplus-1.4.2...
Configuring integer-logarithms-1.0.1...
Installed monadplus-1.4.2
Building integer-logarithms-1.0.1...
Configuring murmur-hash-0.1.0.9...
Installed integer-logarithms-1.0.1
Building murmur-hash-0.1.0.9...
Configuring mtl-2.2.1...
Installed murmur-hash-0.1.0.9
Building mtl-2.2.1...
Configuring old-locale-1.0.0.7...
Installed foundation-0.0.9
Building old-locale-1.0.0.7...
Configuring network-2.6.3.2...
Installed mtl-2.2.1
Configuring parallel-3.2.1.1...
Installed old-locale-1.0.0.7
Building parallel-3.2.1.1...
Building network-2.6.3.2...
Configuring primitive-0.6.2.0...
Installed parallel-3.2.1.1
Building primitive-0.6.2.0...
Configuring random-1.1...
Installed primitive-0.6.2.0
Configuring safe-0.3.14...
Installed network-2.6.3.2
Building random-1.1...
Building safe-0.3.14...
Configuring rfc5051-0.1.0.3...
Installed safe-0.3.14
Configuring semigroups-0.18.3...
Installed random-1.1
Building rfc5051-0.1.0.3...
Building semigroups-0.18.3...
Configuring setenv-0.1.1.3...
Installed semigroups-0.18.3
Building setenv-0.1.1.3...
Configuring split-0.2.3.2...
Installed setenv-0.1.1.3
Configuring stm-2.4.4.1...
Installed rfc5051-0.1.0.3
Building split-0.2.3.2...
Building stm-2.4.4.1...
Configuring strict-0.3.2...
Installed split-0.2.3.2
Building strict-0.3.2...
Configuring stringsearch-0.3.6.6...
Installed stm-2.4.4.1
Building stringsearch-0.3.6.6...
Configuring syb-0.7...
Installed strict-0.3.2
Building syb-0.7...
Configuring time-locale-compat-0.1.1.3...
Installed stringsearch-0.3.6.6
Configuring text-1.2.2.2...
Installed syb-0.7
Building time-locale-compat-0.1.1.3...
Building text-1.2.2.2...
Configuring unix-compat-0.4.3.1...
Installed time-locale-compat-0.1.1.3
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 void-0.7.2...
Installed utf8-string-1.0.1.1
Building void-0.7.2...
Configuring word8-0.1.2...
Installed void-0.7.2
Building word8-0.1.2...
Configuring zlib-0.6.1.2...
Installed word8-0.1.2
Building zlib-0.6.1.2...
Configuring ansi-wl-pprint-0.6.7.3...
Installed text-1.2.2.2
Building ansi-wl-pprint-0.6.7.3...
Installed ansi-wl-pprint-0.6.7.3
Configuring gitrev-1.3.1...
Building gitrev-1.3.1...
Configuring data-default-instances-containers-0.0.1...
Installed zlib-0.6.1.2
Building data-default-instances-containers-0.0.1...
Installed gitrev-1.3.1
Configuring data-default-instances-dlist-0.0.1...
Configuring hxt-unicode-9.0.2.4...
Installed data-default-instances-containers-0.0.1
Building data-default-instances-dlist-0.0.1...
Building hxt-unicode-9.0.2.4...
Configuring memory-0.14.5...
Installed data-default-instances-dlist-0.0.1
Building memory-0.14.5...
Configuring EdisonAPI-1.3.1...
Installed hxt-unicode-9.0.2.4
Building EdisonAPI-1.3.1...
Configuring geniplate-mirror-0.7.5...
Installed EdisonAPI-1.3.1
Building geniplate-mirror-0.7.5...
Configuring STMonadTrans-0.4.3...
Installed memory-0.14.5
Building STMonadTrans-0.4.3...
Configuring pem-0.2.2...
Installed geniplate-mirror-0.7.5
Configuring regex-base-0.93.2...
Installed STMonadTrans-0.4.3
Building pem-0.2.2...
Building regex-base-0.93.2...
Configuring data-default-instances-old-locale-0.0.1...
Installed pem-0.2.2
Building data-default-instances-old-locale-0.0.1...
Configuring old-time-1.1.0.3...
Installed regex-base-0.93.2
Configuring iproute-1.7.1...
Installed data-default-instances-old-locale-0.0.1
Building iproute-1.7.1...
Building old-time-1.1.0.3...
Configuring vector-0.12.0.1...
Installed old-time-1.1.0.3
Downloading zip-archive-0.3.0.7...
Configuring socks-0.5.5...
Installed iproute-1.7.1
Building vector-0.12.0.1...
Building socks-0.5.5...
Configuring simple-sendfile-0.2.25...
Installed socks-0.5.5
Building simple-sendfile-0.2.25...
Configuring tf-random-0.5...
Installed simple-sendfile-0.2.25
Building tf-random-0.5...
Configuring edit-distance-0.2.2.1...
Installed tf-random-0.5
Building edit-distance-0.2.2.1...
Configuring boxes-0.1.4...
Installed edit-distance-0.2.2.1
Building boxes-0.1.4...
Configuring StateVar-1.1.0.4...
Installed boxes-0.1.4
Building StateVar-1.1.0.4...
Configuring async-2.1.1.1...
Installed StateVar-1.1.0.4
Building async-2.1.1.1...
Configuring filemanip-0.3.6.3...
Installed async-2.1.1.1
Building filemanip-0.3.6.3...
Configuring hs-bibutils-5.5...
Installed vector-0.12.0.1
Building hs-bibutils-5.5...
Configuring mmorph-1.1.0...
Installed filemanip-0.3.6.3
Building mmorph-1.1.0...
Configuring exceptions-0.8.3...
Installed mmorph-1.1.0
Building exceptions-0.8.3...
Configuring transformers-base-0.4.4...
Installed exceptions-0.8.3
Building transformers-base-0.4.4...
Installed transformers-base-0.4.4
Configuring tagged-0.8.5...
Building tagged-0.8.5...
Configuring blaze-builder-0.4.0.2...
Installed tagged-0.8.5
Building blaze-builder-0.4.0.2...
Configuring cmark-0.5.5.1...
Installed blaze-builder-0.4.0.2
Configuring mime-types-0.1.0.7...
Installed hs-bibutils-5.5
Building cmark-0.5.5.1...
Building mime-types-0.1.0.7...
Configuring hashable-1.2.6.0...
Installed mime-types-0.1.0.7
Building hashable-1.2.6.0...
Configuring parsec-3.1.11...
Installed cmark-0.5.5.1
Building parsec-3.1.11...
Configuring system-filepath-0.4.13.4...
Installed hashable-1.2.6.0
Building system-filepath-0.4.13.4...
Configuring xml-1.3.14...
Installed parsec-3.1.11
Building xml-1.3.14...
Warning: /tmp/pkgConf-system-filepath-0.4.131046741222337739299.4:
Unrecognized field dynamic-library-dirs on line 23
Configuring tagsoup-0.14.1...
Installed system-filepath-0.4.13.4
Building tagsoup-0.14.1...
Configuring xml-types-0.3.6...
Installed xml-1.3.14
Building xml-types-0.3.6...
Configuring optparse-applicative-0.13.2.0...
Installed xml-types-0.3.6
Building optparse-applicative-0.13.2.0...
Installed tagsoup-0.14.1
Configuring asn1-types-0.3.2...
Building asn1-types-0.3.2...
Configuring cryptonite-0.23...
Installed optparse-applicative-0.13.2.0
Building cryptonite-0.23...
Configuring equivalence-0.3.2...
Installed asn1-types-0.3.2
Building equivalence-0.3.2...
Configuring data-default-0.7.1.1...
Installed equivalence-0.3.2
Building data-default-0.7.1.1...
Configuring regex-pcre-builtin-0.94.4.8.8.35...
Installed data-default-0.7.1.1
Building regex-pcre-builtin-0.94.4.8.8.35...
Configuring zip-archive-0.3.0.7...
Installed regex-pcre-builtin-0.94.4.8.8.35
Building zip-archive-0.3.0.7...
Warning: /tmp/pkgConf-zip-archive-0.3.07670662491886086990.7: Unrecognized
field dynamic-library-dirs on line 21
Configuring unix-time-0.3.7...
Installed zip-archive-0.3.0.7
Building unix-time-0.3.7...
Configuring contravariant-1.4...
Installed unix-time-0.3.7
Building contravariant-1.4...
Configuring QuickCheck-2.9.2...
Installed contravariant-1.4
Building QuickCheck-2.9.2...
Configuring hinotify-0.3.9...
Installed cryptonite-0.23
Building hinotify-0.3.9...
Configuring temporary-1.2.0.4...
Installed hinotify-0.3.9
Building temporary-1.2.0.4...
Configuring JuicyPixels-3.2.8.1...
Installed temporary-1.2.0.4
Building JuicyPixels-3.2.8.1...
Configuring monad-control-1.0.1.0...
Installed QuickCheck-2.9.2
Building monad-control-1.0.1.0...
Configuring blaze-markup-0.8.0.0...
Installed monad-control-1.0.1.0
Building blaze-markup-0.8.0.0...
Configuring cookie-0.4.2.1...
Installed blaze-markup-0.8.0.0
Building cookie-0.4.2.1...
Configuring streaming-commons-0.1.18...
Installed cookie-0.4.2.1
Building streaming-commons-0.1.18...
Configuring case-insensitive-1.2.0.10...
Installed streaming-commons-0.1.18
Building case-insensitive-1.2.0.10...
Configuring hashtables-1.2.1.1...
Installed case-insensitive-1.2.0.10
Building hashtables-1.2.1.1...
Configuring psqueues-0.2.2.3...
Installed JuicyPixels-3.2.8.1
Building psqueues-0.2.2.3...
Configuring scientific-0.3.4.13...
Installed hashtables-1.2.1.1
Building scientific-0.3.4.13...
Configuring uuid-types-1.0.3...
Installed psqueues-0.2.2.3
Building uuid-types-1.0.3...
Configuring unordered-containers-0.2.8.0...
Installed scientific-0.3.4.13
Building unordered-containers-0.2.8.0...
Configuring network-uri-2.6.1.0...
Installed uuid-types-1.0.3
Building network-uri-2.6.1.0...
Configuring hxt-regex-xmlschema-9.2.0.3...
Installed network-uri-2.6.1.0
Building hxt-regex-xmlschema-9.2.0.3...
Configuring regex-tdfa-1.2.2...
Installed unordered-containers-0.2.8.0
Building regex-tdfa-1.2.2...
Installed hxt-regex-xmlschema-9.2.0.3
Configuring asn1-encoding-0.9.5...
Building asn1-encoding-0.9.5...
Installed asn1-encoding-0.9.5
Configuring fast-logger-2.4.10...
Building fast-logger-2.4.10...
Configuring lrucache-1.2.0.0...
Installed fast-logger-2.4.10
Building lrucache-1.2.0.0...
Configuring cryptohash-0.11.9...
Installed regex-tdfa-1.2.2
Building cryptohash-0.11.9...
Configuring EdisonCore-1.3.1.1...
Installed lrucache-1.2.0.0
Building EdisonCore-1.3.1.1...
Configuring fsnotify-0.2.1...
Installed cryptohash-0.11.9
Building fsnotify-0.2.1...
Configuring lifted-base-0.2.3.11...
Installed fsnotify-0.2.1
Building lifted-base-0.2.3.11...
Configuring blaze-html-0.9.0.1...
Installed lifted-base-0.2.3.11
Building blaze-html-0.9.0.1...
Configuring http-types-0.9.1...
Installed blaze-html-0.9.0.1
Configuring http2-1.6.3...
Installed EdisonCore-1.3.1.1
Building http-types-0.9.1...
Building http2-1.6.3...
Configuring attoparsec-0.13.1.0...
Installed http-types-0.9.1
Building attoparsec-0.13.1.0...
Configuring HTTP-4000.3.7...
Installed http2-1.6.3
Building HTTP-4000.3.7...
Configuring vault-0.3.0.7...
Installed attoparsec-0.13.1.0
Building vault-0.3.0.7...
Configuring hxt-9.3.1.16...
Installed vault-0.3.0.7
Building hxt-9.3.1.16...
Installed HTTP-4000.3.7
Configuring asn1-parse-0.9.4...
Building asn1-parse-0.9.4...
Installed asn1-parse-0.9.4
Configuring resourcet-1.1.9...
Building resourcet-1.1.9...
Configuring Agda-2.5.2...
Installed resourcet-1.1.9
Building Agda-2.5.2...
Configuring http-client-0.5.7.0...
Installed hxt-9.3.1.16
Building http-client-0.5.7.0...
Configuring http-date-0.0.6.1...
Installed http-client-0.5.7.0
Building http-date-0.0.6.1...
Configuring aeson-1.2.0.0...
Installed http-date-0.0.6.1
Building aeson-1.2.0.0...
Configuring wai-3.2.1.1...
Installed aeson-1.2.0.0
Building wai-3.2.1.1...
Installed wai-3.2.1.1
Configuring x509-1.6.5...
Building x509-1.6.5...
Installed x509-1.6.5
Configuring conduit-1.2.10...
Building conduit-1.2.10...
Installed conduit-1.2.10
Configuring aeson-pretty-0.8.4...
Building aeson-pretty-0.8.4...
Configuring pandoc-types-1.17.0.5...
Installed aeson-pretty-0.8.4
Building pandoc-types-1.17.0.5...
Configuring doctemplates-0.1.0.2...
Installed pandoc-types-1.17.0.5
Building doctemplates-0.1.0.2...
Configuring skylighting-0.1.1.5...
Installed doctemplates-0.1.0.2
Building skylighting-0.1.1.5...
Configuring wai-logger-2.3.0...
Installed skylighting-0.1.1.5
Building wai-logger-2.3.0...
Installed wai-logger-2.3.0
Configuring warp-3.2.12...
Building warp-3.2.12...
Configuring x509-store-1.6.2...
Installed warp-3.2.12
Building x509-store-1.6.2...
Installed x509-store-1.6.2
Configuring conduit-extra-1.1.16...
Building conduit-extra-1.1.16...
Configuring yaml-0.8.23...
Installed conduit-extra-1.1.16
Building yaml-0.8.23...
Installed yaml-0.8.23
Configuring texmath-0.9.4...
Building texmath-0.9.4...
Configuring wai-extra-3.0.19.1...
Installed texmath-0.9.4
Building wai-extra-3.0.19.1...
Installed wai-extra-3.0.19.1
Configuring x509-system-1.6.4...
Building x509-system-1.6.4...
Configuring x509-validation-1.6.5...
Installed x509-system-1.6.4
Building x509-validation-1.6.5...
Installed x509-validation-1.6.5
Configuring xml-conduit-1.4.0.4...
Building xml-conduit-1.4.0.4...
Installed xml-conduit-1.4.0.4
Configuring wai-app-static-3.1.6.1...
Building wai-app-static-3.1.6.1...
Configuring tls-1.3.10...
Installed wai-app-static-3.1.6.1
Building tls-1.3.10...
Installed tls-1.3.10
Configuring connection-0.2.8...
Building connection-0.2.8...
Installed connection-0.2.8
Configuring http-client-tls-0.3.5...
Building http-client-tls-0.3.5...
Installed http-client-tls-0.3.5
Configuring http-conduit-2.2.3.1...
Building http-conduit-2.2.3.1...
Configuring pandoc-1.19.2.1...
Installed http-conduit-2.2.3.1
Warning: /tmp/pkgConf-Agda-2.513722617962073785404.2: Unrecognized field
dynamic-library-dirs on line 195
Building pandoc-1.19.2.1...
Installed Agda-2.5.2
Downloading agda-snippets-2.5.2...
Configuring agda-snippets-2.5.2...
Building agda-snippets-2.5.2...
Installed agda-snippets-2.5.2
Warning: /tmp/pkgConf-pandoc-1.19.22032894977262692685.1: Unrecognized field
dynamic-library-dirs on line 90
Installed pandoc-1.19.2.1
Configuring pandoc-citeproc-0.10.4.1...
Building pandoc-citeproc-0.10.4.1...
Warning: /tmp/pkgConf-pandoc-citeproc-0.10.4395279207606199759.1: Unrecognized
field dynamic-library-dirs on line 44
Installed pandoc-citeproc-0.10.4.1
Configuring hakyll-4.9.5.1...
Building hakyll-4.9.5.1...
Installed hakyll-4.9.5.1
Downloading agda-snippets-hakyll-0.1.2.2...
Configuring agda-snippets-hakyll-0.1.2.2...
Building agda-snippets-hakyll-0.1.2.2...
Installed agda-snippets-hakyll-0.1.2.2