Resolving dependencies... Starting STMonadTrans-0.4.5 Starting StateVar-1.2.1 Starting HsYAML-0.2.1.0 Starting SHA-1.6.4.4 Building STMonadTrans-0.4.5 Building StateVar-1.2.1 Building SHA-1.6.4.4 Building HsYAML-0.2.1.0 Completed StateVar-1.2.1 Starting appar-0.1.8 Building appar-0.1.8 Completed STMonadTrans-0.4.5 Starting auto-update-0.1.6 Building auto-update-0.1.6 Completed appar-0.1.8 Starting base-compat-0.11.2 Building base-compat-0.11.2 Completed auto-update-0.1.6 Starting base-orphans-0.8.4 Building base-orphans-0.8.4 Completed SHA-1.6.4.4 Starting base16-bytestring-1.0.1.0 Building base16-bytestring-1.0.1.0 Completed base16-bytestring-1.0.1.0 Starting base64-bytestring-1.1.0.0 Building base64-bytestring-1.1.0.0 Completed base-compat-0.11.2 Starting basement-0.0.11 Building basement-0.0.11 Completed base-orphans-0.8.4 Starting blaze-builder-0.4.2.1 Building blaze-builder-0.4.2.1 Completed base64-bytestring-1.1.0.0 Starting bsb-http-chunked-0.0.0.4 Building bsb-http-chunked-0.0.0.4 Completed HsYAML-0.2.1.0 Starting byteorder-1.0.4 Completed bsb-http-chunked-0.0.0.4 Starting cabal-doctest-1.0.8 Building byteorder-1.0.4 Completed blaze-builder-0.4.2.1 Starting call-stack-0.3.0 Building cabal-doctest-1.0.8 Building call-stack-0.3.0 Completed byteorder-1.0.4 Starting cereal-0.5.8.1 Building cereal-0.5.8.1 Completed call-stack-0.3.0 Starting cmdargs-0.10.21 Building cmdargs-0.10.21 Completed cabal-doctest-1.0.8 Starting colour-2.3.5 Building colour-2.3.5 Completed cereal-0.5.8.1 Starting commonmark-0.1.1.4 Building commonmark-0.1.1.4 Completed colour-2.3.5 Starting data-default-class-0.1.2.0 Building data-default-class-0.1.2.0 Completed data-default-class-0.1.2.0 Starting data-hash-0.2.0.1 Building data-hash-0.2.0.1 Completed data-hash-0.2.0.1 Starting digest-0.0.1.2 Building digest-0.0.1.2 Completed digest-0.0.1.2 Starting dlist-1.0 Building dlist-1.0 Completed dlist-1.0 Starting easy-file-0.2.2 Completed cmdargs-0.10.21 Starting emojis-0.1 Building easy-file-0.2.2 Building emojis-0.1 Completed easy-file-0.2.2 Starting fail-4.9.0.0 Building fail-4.9.0.0 Completed fail-4.9.0.0 Starting file-embed-0.0.13.0 Building file-embed-0.0.13.0 Completed file-embed-0.0.13.0 Starting geniplate-mirror-0.7.7 Building geniplate-mirror-0.7.7 Completed geniplate-mirror-0.7.7 Starting haddock-library-1.9.0 Completed commonmark-0.1.1.4 Starting hashable-1.3.1.0 Completed emojis-0.1 Starting hourglass-0.2.12 Building haddock-library-1.9.0 Building hashable-1.3.1.0 Building hourglass-0.2.12 Completed basement-0.0.11 Starting hslua-1.3.0.1 Building hslua-1.3.0.1 Completed hashable-1.3.1.0 Starting ieee754-0.8.0 Building ieee754-0.8.0 Completed haddock-library-1.9.0 Starting indexed-traversable-0.1.1 Building indexed-traversable-0.1.1 Completed hourglass-0.2.12 Starting integer-logarithms-1.0.3.1 Completed ieee754-0.8.0 Starting jira-wiki-markup-1.3.4 Building integer-logarithms-1.0.3.1 Building jira-wiki-markup-1.3.4 Completed integer-logarithms-1.0.3.1 Starting mime-types-0.1.0.9 Building mime-types-0.1.0.9 Completed indexed-traversable-0.1.1 Starting murmur-hash-0.1.0.9 Building murmur-hash-0.1.0.9 Completed murmur-hash-0.1.0.9 Starting network-3.1.2.1 Completed jira-wiki-markup-1.3.4 Starting network-byte-order-0.1.6 Building network-byte-order-0.1.6 Building network-3.1.2.1 Completed mime-types-0.1.0.9 Starting old-locale-1.0.0.7 Building old-locale-1.0.0.7 Completed network-byte-order-0.1.6 Starting primitive-0.7.1.0 Completed old-locale-1.0.0.7 Starting random-1.1 Building primitive-0.7.1.0 Building random-1.1 Completed random-1.1 Starting regex-base-0.94.0.1 Completed hslua-1.3.0.1 Starting rfc5051-0.2 Building regex-base-0.94.0.1 Building rfc5051-0.2 Completed regex-base-0.94.0.1 Starting safe-0.3.19 Completed rfc5051-0.2 Starting split-0.2.3.4 Building safe-0.3.19 Building split-0.2.3.4 Completed network-3.1.2.1 Starting splitmix-0.1.0.3 Building splitmix-0.1.0.3 Completed split-0.2.3.4 Starting syb-0.7.2.1 Building syb-0.7.2.1 Completed splitmix-0.1.0.3 Starting tagged-0.8.6.1 Completed safe-0.3.19 Starting tagsoup-0.14.8 Building tagged-0.8.6.1 Building tagsoup-0.14.8 Completed primitive-0.7.1.0 Starting th-abstraction-0.4.2.0 Building th-abstraction-0.4.2.0 Completed syb-0.7.2.1 Starting th-compat-0.1.2 Completed tagged-0.8.6.1 Starting time-locale-compat-0.1.1.5 Building th-compat-0.1.2 Building time-locale-compat-0.1.1.5 Completed time-locale-compat-0.1.1.5 Starting transformers-compat-0.6.6 Completed th-compat-0.1.2 Starting type-equality-1 Building transformers-compat-0.6.6 Building type-equality-1 Completed type-equality-1 Starting unicode-transforms-0.3.7.1 Completed th-abstraction-0.4.2.0 Starting unix-compat-0.5.3 Building unicode-transforms-0.3.7.1 Building unix-compat-0.5.3 Completed transformers-compat-0.6.6 Starting unliftio-core-0.2.0.1 Building unliftio-core-0.2.0.1 Completed unix-compat-0.5.3 Starting utf8-string-1.0.2 Building utf8-string-1.0.2 Completed unliftio-core-0.2.0.1 Starting word8-0.1.3 Building word8-0.1.3 Completed tagsoup-0.14.8 Starting xml-1.3.14 Completed word8-0.1.3 Starting xml-types-0.3.8 Building xml-1.3.14 Building xml-types-0.3.8 Completed utf8-string-1.0.2 Starting zlib-0.6.2.3 Building zlib-0.6.2.3 Completed xml-1.3.14 Starting contravariant-1.5.3 Completed xml-types-0.3.8 Starting time-manager-0.0.0 Building contravariant-1.5.3 Building time-manager-0.0.0 Completed time-manager-0.0.0 Starting gitrev-1.3.1 Building gitrev-1.3.1 Completed zlib-0.6.2.3 Starting base-compat-batteries-0.11.2 Completed contravariant-1.5.3 Building base-compat-batteries-0.11.2 Starting time-compat-1.9.5 Completed gitrev-1.3.1 Starting blaze-markup-0.8.2.8 Building time-compat-1.9.5 Building blaze-markup-0.8.2.8 Completed unicode-transforms-0.3.7.1 Starting HUnit-1.6.2.0 Building HUnit-1.6.2.0 Completed blaze-markup-0.8.2.8 Starting ansi-terminal-0.11 Completed time-compat-1.9.5 Starting data-default-instances-containers-0.0.1 Building ansi-terminal-0.11 Building data-default-instances-containers-0.0.1 Completed base-compat-batteries-0.11.2 Starting cookie-0.4.5 Building cookie-0.4.5 Completed HUnit-1.6.2.0 Starting data-default-instances-dlist-0.0.1 Completed data-default-instances-containers-0.0.1 Starting commonmark-extensions-0.2.0.4 Building data-default-instances-dlist-0.0.1 Building commonmark-extensions-0.2.0.4 Completed data-default-instances-dlist-0.0.1 Starting memory-0.15.0 Completed cookie-0.4.5 Starting unordered-containers-0.2.13.0 Building memory-0.15.0 Building unordered-containers-0.2.13.0 Completed ansi-terminal-0.11 Starting psqueues-0.2.7.2 Building psqueues-0.2.7.2 Completed commonmark-extensions-0.2.0.4 Starting data-fix-0.3.1 Building data-fix-0.3.1 Completed psqueues-0.2.7.2 Starting case-insensitive-1.2.1.0 Building case-insensitive-1.2.1.0 Completed memory-0.15.0 Starting async-2.2.3 Completed data-fix-0.3.1 Starting old-time-1.1.0.3 Building async-2.2.3 Completed case-insensitive-1.2.1.0 Starting data-default-instances-old-locale-0.0.1 Building data-default-instances-old-locale-0.0.1 Completed unordered-containers-0.2.13.0 Starting uuid-types-1.0.4 Building old-time-1.1.0.3 Completed data-default-instances-old-locale-0.0.1 Starting temporary-1.3 Building uuid-types-1.0.4 Completed async-2.2.3 Starting edit-distance-0.2.2.1 Building temporary-1.3 Building edit-distance-0.2.2.1 Completed temporary-1.3 Starting hslua-module-text-0.3.0.1 Building hslua-module-text-0.3.0.1 Completed old-time-1.1.0.3 Starting regex-tdfa-1.3.1.0 Completed uuid-types-1.0.4 Starting socks-0.6.1 Building regex-tdfa-1.3.1.0 Building socks-0.6.1 Completed edit-distance-0.2.2.1 Starting simple-sendfile-0.2.30 Completed hslua-module-text-0.3.0.1 Starting iproute-1.7.11 Building simple-sendfile-0.2.30 Building iproute-1.7.11 Completed simple-sendfile-0.2.30 Starting boxes-0.1.5 Building boxes-0.1.5 Completed socks-0.6.1 Starting QuickCheck-2.14.2 Building QuickCheck-2.14.2 Completed boxes-0.1.5 Starting doclayout-0.3.0.2 Building doclayout-0.3.0.2 Completed iproute-1.7.11 Starting vector-0.12.3.0 Building vector-0.12.3.0 Completed doclayout-0.3.0.2 Starting scientific-0.3.6.2 Building scientific-0.3.6.2 Completed scientific-0.3.6.2 Starting distributive-0.6.2.1 Building distributive-0.6.2.1 Completed regex-tdfa-1.3.1.0 Starting network-uri-2.6.4.1 Building network-uri-2.6.4.1 Completed distributive-0.6.2.1 Starting transformers-base-0.4.5.2 Building transformers-base-0.4.5.2 Completed transformers-base-0.4.5.2 Starting errors-2.3.0 Building errors-2.3.0 Completed network-uri-2.6.4.1 Starting equivalence-0.3.5 Building equivalence-0.3.5 Completed errors-2.3.0 Starting constraints-0.13 Completed equivalence-0.3.5 Starting Glob-0.10.1 Building constraints-0.13 Completed QuickCheck-2.14.2 Starting resourcet-1.2.4.2 Building Glob-0.10.1 Building resourcet-1.2.4.2 Completed resourcet-1.2.4.2 Starting zip-archive-0.4.1 Completed Glob-0.10.1 Starting lrucache-1.2.0.1 Building zip-archive-0.4.1 Building lrucache-1.2.0.1 Completed constraints-0.13 Starting blaze-html-0.9.1.2 Building blaze-html-0.9.1.2 Completed lrucache-1.2.0.1 Starting ansi-wl-pprint-0.6.9 Building ansi-wl-pprint-0.6.9 Completed zip-archive-0.4.1 Starting pem-0.2.4 Building pem-0.2.4 Completed ansi-wl-pprint-0.6.9 Starting cryptonite-0.27 Completed pem-0.2.4 Starting asn1-types-0.3.4 Building cryptonite-0.27 Building asn1-types-0.3.4 Completed asn1-types-0.3.4 Starting http-types-0.12.3 Building http-types-0.12.3 Completed vector-0.12.3.0 Starting vault-0.3.1.5 Completed http-types-0.12.3 Starting uniplate-1.6.13 Building vault-0.3.1.5 Building uniplate-1.6.13 Completed vault-0.3.1.5 Starting data-default-0.7.1.1 Building data-default-0.7.1.1 Completed data-default-0.7.1.1 Starting typed-process-0.2.6.0 Building typed-process-0.2.6.0 Completed blaze-html-0.9.1.2 Starting streaming-commons-0.2.2.1 Building streaming-commons-0.2.2.1 Completed typed-process-0.2.6.0 Starting hinotify-0.4.1 Building hinotify-0.4.1 Completed uniplate-1.6.13 Starting hslua-module-system-0.2.2.1 Building hslua-module-system-0.2.2.1 Completed hinotify-0.4.1 Starting unix-time-0.4.7 Completed hslua-module-system-0.2.2.1 Starting attoparsec-0.13.2.5 Building attoparsec-0.13.2.5 Building unix-time-0.4.7 Completed streaming-commons-0.2.2.1 Starting comonad-5.0.8 Building comonad-5.0.8 Completed unix-time-0.4.7 Starting monad-control-1.0.2.3 Building monad-control-1.0.2.3 Completed comonad-5.0.8 Starting uri-encode-1.5.0.7 Completed monad-control-1.0.2.3 Starting HTTP-4000.3.16 Building uri-encode-1.5.0.7 Building HTTP-4000.3.16 Completed uri-encode-1.5.0.7 Starting text-conversions-0.3.1 Building text-conversions-0.3.1 Completed attoparsec-0.13.2.5 Starting optparse-applicative-0.15.1.0 Building optparse-applicative-0.15.1.0 Completed text-conversions-0.3.1 Starting asn1-encoding-0.9.6 Building asn1-encoding-0.9.6 Completed asn1-encoding-0.9.6 Starting vector-algorithms-0.8.0.4 Building vector-algorithms-0.8.0.4 Completed optparse-applicative-0.15.1.0 Starting hashtables-1.2.4.1 Building hashtables-1.2.4.1 Completed HTTP-4000.3.16 Starting JuicyPixels-3.3.5 Building JuicyPixels-3.3.5 Completed vector-algorithms-0.8.0.4 Starting http2-2.0.6 Building http2-2.0.6 Completed hashtables-1.2.4.1 Starting wai-3.2.3 Building wai-3.2.3 Completed wai-3.2.3 Starting http-client-0.7.6 Building http-client-0.7.6 Completed http-client-0.7.6 Starting fast-logger-3.0.3 Building fast-logger-3.0.3 Completed http2-2.0.6 Starting bifunctors-5.5.10 Completed cryptonite-0.27 Starting lifted-base-0.2.3.12 Building bifunctors-5.5.10 Building lifted-base-0.2.3.12 Completed fast-logger-3.0.3 Starting http-date-0.0.11 Building http-date-0.0.11 Completed lifted-base-0.2.3.12 Starting asn1-parse-0.9.5 Building asn1-parse-0.9.5 Completed http-date-0.0.11 Starting mono-traversable-1.0.15.1 Building mono-traversable-1.0.15.1 Completed asn1-parse-0.9.5 Starting wai-logger-2.3.6 Building wai-logger-2.3.6 Completed JuicyPixels-3.3.5 Starting lifted-async-0.10.2 Completed wai-logger-2.3.6 Starting enclosed-exceptions-1.0.3 Building lifted-async-0.10.2 Completed bifunctors-5.5.10 Starting x509-1.7.5 Building enclosed-exceptions-1.0.3 Building x509-1.7.5 Completed enclosed-exceptions-1.0.3 Starting assoc-1.0.2 Building assoc-1.0.2 Completed lifted-async-0.10.2 Starting shelly-1.9.0 Building shelly-1.9.0 Completed assoc-1.0.2 Starting these-1.1.1.1 Building these-1.1.1.1 Completed x509-1.7.5 Starting x509-store-1.6.7 Completed these-1.1.1.1 Starting warp-3.3.14 Building x509-store-1.6.7 Building warp-3.3.14 Completed mono-traversable-1.0.15.1 Starting strict-0.4.0.1 Building strict-0.4.0.1 Completed shelly-1.9.0 Starting conduit-1.3.4.1 Completed x509-store-1.6.7 Starting fsnotify-0.3.0.1 Building conduit-1.3.4.1 Building fsnotify-0.3.0.1 Completed fsnotify-0.3.0.1 Starting x509-validation-1.6.11 Completed strict-0.4.0.1 Starting x509-system-1.6.6 Building x509-validation-1.6.11 Building x509-system-1.6.6 Completed x509-system-1.6.6 Starting aeson-1.5.6.0 Completed warp-3.3.14 Building aeson-1.5.6.0 Completed x509-validation-1.6.11 Starting tls-1.5.5 Building tls-1.5.5 Completed conduit-1.3.4.1 Starting libyaml-0.1.2 Starting conduit-extra-1.3.5 Building conduit-extra-1.3.5 Building libyaml-0.1.2 Completed conduit-extra-1.3.5 Starting xml-conduit-1.9.1.0 Completed libyaml-0.1.2 Building xml-conduit-1.9.1.0 Completed xml-conduit-1.9.1.0 Completed tls-1.5.5 Starting connection-0.3.1 Building connection-0.3.1 Completed aeson-1.5.6.0 Starting yaml-0.11.5.0 Starting wai-extra-3.1.6 Starting skylighting-core-0.10.5.1 Completed connection-0.3.1 Starting pandoc-types-1.22 Building yaml-0.11.5.0 Building wai-extra-3.1.6 Building skylighting-core-0.10.5.1 Building pandoc-types-1.22 Completed yaml-0.11.5.0 Starting ipynb-0.1.0.1 Building ipynb-0.1.0.1 Completed wai-extra-3.1.6 Starting doctemplates-0.9 Building doctemplates-0.9 Completed ipynb-0.1.0.1 Starting aeson-pretty-0.8.8 Building aeson-pretty-0.8.8 Completed aeson-pretty-0.8.8 Starting Agda-2.6.1.3 Completed doctemplates-0.9 Starting http-client-tls-0.3.5.3 Building http-client-tls-0.3.5.3 Completed skylighting-core-0.10.5.1 Starting wai-app-static-3.1.7.2 Building wai-app-static-3.1.7.2 Building Agda-2.6.1.3 Completed http-client-tls-0.3.5.3 Starting skylighting-0.10.5.1 Building skylighting-0.10.5.1 Completed pandoc-types-1.22 Starting http-conduit-2.3.8 Completed wai-app-static-3.1.7.2 Building http-conduit-2.3.8 Starting texmath-0.12.2 Building texmath-0.12.2 Completed http-conduit-2.3.8 Starting commonmark-pandoc-0.2.0.1 Building commonmark-pandoc-0.2.0.1 Completed skylighting-0.10.5.1 Starting citeproc-0.3.0.9 Building citeproc-0.3.0.9 Completed commonmark-pandoc-0.2.0.1 Completed citeproc-0.3.0.9 Completed texmath-0.12.2 Starting pandoc-2.11.4 Building pandoc-2.11.4 Completed pandoc-2.11.4 Starting hakyll-4.14.0.0 Building hakyll-4.14.0.0 Completed hakyll-4.14.0.0 Completed Agda-2.6.1.3 Downloading hakyll-agda-0.1.13 Downloaded hakyll-agda-0.1.13 Starting hakyll-agda-0.1.13 Building hakyll-agda-0.1.13 Completed hakyll-agda-0.1.13