Resolving dependencies... Configuring ansi-terminal-0.6.2.3... Configuring SHA-1.6.4.2... Building ansi-terminal-0.6.2.3... Building SHA-1.6.4.2... Configuring appar-0.1.4... Installed ansi-terminal-0.6.2.3 Building appar-0.1.4... Installed appar-0.1.4 Configuring auto-update-0.1.4... Building auto-update-0.1.4... Installed auto-update-0.1.4 Configuring base-compat-0.9.1... Building base-compat-0.9.1... Configuring base64-bytestring-1.0.0.1... Installed SHA-1.6.4.2 Building base64-bytestring-1.0.0.1... Configuring byteable-0.1.1... Installed base-compat-0.9.1 Building byteable-0.1.1... Configuring byteorder-1.0.4... Installed base64-bytestring-1.0.0.1 Building byteorder-1.0.4... Configuring bytestring-builder-0.10.8.1.0... Installed byteable-0.1.1 Building bytestring-builder-0.10.8.1.0... Configuring cereal-0.5.4.0... Installed bytestring-builder-0.10.8.1.0 Configuring data-default-class-0.1.2.0... Installed byteorder-1.0.4 Building cereal-0.5.4.0... Building data-default-class-0.1.2.0... Configuring data-hash-0.2.0.1... Installed data-default-class-0.1.2.0 Building data-hash-0.2.0.1... Configuring cmdargs-0.10.14... Installed cereal-0.5.4.0 Configuring digest-0.0.1.2... Installed data-hash-0.2.0.1 Building cmdargs-0.10.14... Building digest-0.0.1.2... Configuring easy-file-0.2.1... Installed digest-0.0.1.2 Building easy-file-0.2.1... Configuring extensible-exceptions-0.1.1.4... Installed easy-file-0.2.1 Building extensible-exceptions-0.1.1.4... Configuring dlist-0.8.0.2... Installed extensible-exceptions-0.1.1.4 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 haddock-library-1.4.2... Installed file-embed-0.0.10 Building haddock-library-1.4.2... Configuring hourglass-0.2.10... Installed cmdargs-0.10.14 Building hourglass-0.2.10... Configuring memory-0.13... Installed haddock-library-1.4.2 Building memory-0.13... Configuring hslua-0.4.1... Installed hourglass-0.2.10 Building hslua-0.4.1... Configuring monadplus-1.4.2... Installed memory-0.13 Building monadplus-1.4.2... Configuring mtl-2.2.1... Installed monadplus-1.4.2 Building mtl-2.2.1... Configuring network-2.6.3.1... Installed mtl-2.2.1 Building network-2.6.3.1... Configuring parallel-3.2.1.0... Installed hslua-0.4.1 Building parallel-3.2.1.0... Configuring primitive-0.6.1.0... Installed parallel-3.2.1.0 Building primitive-0.6.1.0... Configuring old-locale-1.0.0.7... Installed network-2.6.3.1 Building old-locale-1.0.0.7... Configuring random-1.1... Installed old-locale-1.0.0.7 Configuring rfc5051-0.1.0.3... Installed primitive-0.6.1.0 Building random-1.1... Building rfc5051-0.1.0.3... Configuring semigroups-0.18.2... Installed random-1.1 Configuring setenv-0.1.1.3... Installed rfc5051-0.1.0.3 Building semigroups-0.18.2... Building setenv-0.1.1.3... Configuring split-0.2.3.1... Installed setenv-0.1.1.3 Configuring strict-0.3.2... Installed semigroups-0.18.2 Building split-0.2.3.1... Building strict-0.3.2... Configuring stm-2.4.4.1... Installed split-0.2.3.1 Configuring stringsearch-0.3.6.6... Installed strict-0.3.2 Building stm-2.4.4.1... Building stringsearch-0.3.6.6... Configuring syb-0.6... Installed stm-2.4.4.1 Building syb-0.6... Configuring time-locale-compat-0.1.1.3... Installed stringsearch-0.3.6.6 Building time-locale-compat-0.1.1.3... Configuring text-1.2.2.1... Installed syb-0.6 Configuring transformers-compat-0.5.1.4... Installed time-locale-compat-0.1.1.3 Building text-1.2.2.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 word8-0.1.2... Installed utf8-string-1.0.1.1 Building word8-0.1.2... Configuring unix-compat-0.4.3.1... Installed word8-0.1.2 Building unix-compat-0.4.3.1... Configuring zlib-0.6.1.2... Installed unix-compat-0.4.3.1 Building zlib-0.6.1.2... Configuring ansi-wl-pprint-0.6.7.3... Installed text-1.2.2.1 Building ansi-wl-pprint-0.6.7.3... Installed zlib-0.6.1.2 Configuring data-default-instances-containers-0.0.1... Building data-default-instances-containers-0.0.1... Configuring asn1-types-0.3.2... Installed ansi-wl-pprint-0.6.7.3 Configuring data-default-instances-dlist-0.0.1... Installed data-default-instances-containers-0.0.1 Building asn1-types-0.3.2... Building data-default-instances-dlist-0.0.1... Configuring cryptonite-0.20... Installed data-default-instances-dlist-0.0.1 Building cryptonite-0.20... Configuring EdisonAPI-1.3... Installed asn1-types-0.3.2 Building EdisonAPI-1.3... Configuring geniplate-mirror-0.7.4... Installed EdisonAPI-1.3 Building geniplate-mirror-0.7.4... Configuring STMonadTrans-0.3.4... Installed geniplate-mirror-0.7.4 Building STMonadTrans-0.3.4... Configuring pem-0.2.2... Installed STMonadTrans-0.3.4 Building pem-0.2.2... Configuring iproute-1.7.1... Installed pem-0.2.2 Building iproute-1.7.1... Configuring regex-base-0.93.2... Installed iproute-1.7.1 Building regex-base-0.93.2... Configuring data-default-instances-old-locale-0.0.1... Installed regex-base-0.93.2 Building data-default-instances-old-locale-0.0.1... Configuring socks-0.5.5... Installed data-default-instances-old-locale-0.0.1 Building socks-0.5.5... Configuring old-time-1.1.0.3... Installed socks-0.5.5 Building old-time-1.1.0.3... Configuring simple-sendfile-0.2.25... Installed cryptonite-0.20 Building simple-sendfile-0.2.25... Configuring tf-random-0.5... Installed old-time-1.1.0.3 Building tf-random-0.5... Configuring vector-0.11.0.0... Installed simple-sendfile-0.2.25 Building vector-0.11.0.0... Configuring edit-distance-0.2.2.1... Installed tf-random-0.5 Building edit-distance-0.2.2.1... Configuring StateVar-1.1.0.4... Installed edit-distance-0.2.2.1 Building StateVar-1.1.0.4... Configuring async-2.1.1... Installed StateVar-1.1.0.4 Building async-2.1.1... Configuring boxes-0.1.4... Installed async-2.1.1 Building boxes-0.1.4... Configuring exceptions-0.8.3... Installed boxes-0.1.4 Building exceptions-0.8.3... Configuring mmorph-1.0.9... Installed exceptions-0.8.3 Building mmorph-1.0.9... Configuring hs-bibutils-5.5... Installed mmorph-1.0.9 Building hs-bibutils-5.5... Configuring tagged-0.8.5... Installed vector-0.11.0.0 Building tagged-0.8.5... Configuring transformers-base-0.4.4... Installed tagged-0.8.5 Building transformers-base-0.4.4... Configuring filemanip-0.3.6.3... Installed transformers-base-0.4.4 Building filemanip-0.3.6.3... Configuring blaze-builder-0.4.0.2... Installed filemanip-0.3.6.3 Building blaze-builder-0.4.0.2... Configuring mime-types-0.1.0.7... Installed blaze-builder-0.4.0.2 Building mime-types-0.1.0.7... Configuring hashable-1.2.4.0... Installed hs-bibutils-5.5 Building hashable-1.2.4.0... Configuring cmark-0.5.4... Installed hashable-1.2.4.0 Building cmark-0.5.4... Configuring parsec-3.1.11... Installed mime-types-0.1.0.7 Building parsec-3.1.11... Configuring system-filepath-0.4.13.4... Installed parsec-3.1.11 Configuring polyparse-1.12... Installed cmark-0.5.4 Building polyparse-1.12... Building system-filepath-0.4.13.4... Configuring tagsoup-0.14... Installed system-filepath-0.4.13.4 Building tagsoup-0.14... Configuring xml-types-0.3.6... Installed polyparse-1.12 Building xml-types-0.3.6... Configuring xml-1.3.14... Installed xml-types-0.3.6 Building xml-1.3.14... Installed tagsoup-0.14 Configuring optparse-applicative-0.13.0.0... Building optparse-applicative-0.13.0.0... Configuring asn1-encoding-0.9.4... Installed xml-1.3.14 Building asn1-encoding-0.9.4... Configuring equivalence-0.3.1... Installed asn1-encoding-0.9.4 Building equivalence-0.3.1... Configuring data-default-0.7.1.1... Installed optparse-applicative-0.13.0.0 Building data-default-0.7.1.1... Configuring regex-pcre-builtin-0.94.4.8.8.35... Installed equivalence-0.3.1 Configuring unix-time-0.3.7... Installed data-default-0.7.1.1 Building regex-pcre-builtin-0.94.4.8.8.35... Building unix-time-0.3.7... Configuring cryptohash-0.11.9... Installed unix-time-0.3.7 Building cryptohash-0.11.9... Configuring zip-archive-0.3.0.5... Installed cryptohash-0.11.9 Configuring QuickCheck-2.8.2... Installed regex-pcre-builtin-0.94.4.8.8.35 Building QuickCheck-2.8.2... Building zip-archive-0.3.0.5... Configuring temporary-1.2.0.4... Installed zip-archive-0.3.0.5 Building temporary-1.2.0.4... Configuring hinotify-0.3.9... Installed temporary-1.2.0.4 Building hinotify-0.3.9... Configuring monad-control-1.0.1.0... Installed hinotify-0.3.9 Building monad-control-1.0.1.0... Configuring blaze-markup-0.7.1.1... Installed monad-control-1.0.1.0 Configuring cookie-0.4.2.1... Installed QuickCheck-2.8.2 Building blaze-markup-0.7.1.1... Building cookie-0.4.2.1... Configuring JuicyPixels-3.2.8... Installed blaze-markup-0.7.1.1 Configuring case-insensitive-1.2.0.7... Installed cookie-0.4.2.1 Building JuicyPixels-3.2.8... Building case-insensitive-1.2.0.7... Configuring streaming-commons-0.1.16... Installed case-insensitive-1.2.0.7 Building streaming-commons-0.1.16... Configuring hashtables-1.2.1.0... Installed streaming-commons-0.1.16 Building hashtables-1.2.1.0... Configuring psqueues-0.2.2.3... Installed hashtables-1.2.1.0 Building psqueues-0.2.2.3... Configuring scientific-0.3.4.9... Installed psqueues-0.2.2.3 Building scientific-0.3.4.9... Configuring void-0.7.1... Installed JuicyPixels-3.2.8 Building void-0.7.1... Configuring network-uri-2.6.1.0... Installed scientific-0.3.4.9 Configuring unordered-containers-0.2.7.1... Installed void-0.7.1 Building network-uri-2.6.1.0... Building unordered-containers-0.2.7.1... Configuring regex-tdfa-1.2.2... Installed network-uri-2.6.1.0 Building regex-tdfa-1.2.2... Configuring cpphs-1.20.2... Installed unordered-containers-0.2.7.1 Building cpphs-1.20.2... Installed regex-tdfa-1.2.2 Configuring asn1-parse-0.9.4... Configuring fsnotify-0.2.1... Installed cpphs-1.20.2 Building asn1-parse-0.9.4... Building fsnotify-0.2.1... Configuring fast-logger-2.4.7... Installed asn1-parse-0.9.4 Building fast-logger-2.4.7... Configuring lifted-base-0.2.3.8... Installed fsnotify-0.2.1 Building lifted-base-0.2.3.8... Configuring EdisonCore-1.3.1.1... Installed fast-logger-2.4.7 Building EdisonCore-1.3.1.1... Configuring http-types-0.9.1... Installed lifted-base-0.2.3.8 Building http-types-0.9.1... Configuring blaze-html-0.8.1.3... Installed http-types-0.9.1 Building blaze-html-0.8.1.3... Configuring http2-1.6.2... Installed blaze-html-0.8.1.3 Building http2-1.6.2... Configuring attoparsec-0.13.1.0... Installed EdisonCore-1.3.1.1 Building attoparsec-0.13.1.0... Configuring contravariant-1.4... Installed http2-1.6.2 Building contravariant-1.4... Configuring vault-0.3.0.6... Installed attoparsec-0.13.1.0 Building vault-0.3.0.6... Configuring HTTP-4000.3.3... Installed contravariant-1.4 Installed vault-0.3.0.6 Building HTTP-4000.3.3... Configuring haskell-src-exts-1.17.1... Building haskell-src-exts-1.17.1... Configuring x509-1.6.5... Installed HTTP-4000.3.3 Building x509-1.6.5... Configuring enclosed-exceptions-1.0.2... Installed x509-1.6.5 Building enclosed-exceptions-1.0.2... Configuring resourcet-1.1.8.1... Installed enclosed-exceptions-1.0.2 Building resourcet-1.1.8.1... Configuring http-client-0.5.4... Installed resourcet-1.1.8.1 Building http-client-0.5.4... Configuring highlighting-kate-0.6.3... Installed http-client-0.5.4 Building highlighting-kate-0.6.3... Configuring http-date-0.0.6.1... Installed haskell-src-exts-1.17.1 Building http-date-0.0.6.1... Configuring lrucache-1.2.0.0... Installed http-date-0.0.6.1 Building lrucache-1.2.0.0... Configuring aeson-1.0.2.1... Installed lrucache-1.2.0.0 Building aeson-1.0.2.1... Configuring wai-3.2.1.1... Installed aeson-1.0.2.1 Building wai-3.2.1.1... Installed wai-3.2.1.1 Configuring x509-store-1.6.2... Building x509-store-1.6.2... Installed x509-store-1.6.2 Configuring conduit-1.2.8... Building conduit-1.2.8... Configuring aeson-pretty-0.8.2... Installed highlighting-kate-0.6.3 Configuring Agda-2.5.1.2... Installed conduit-1.2.8 Building aeson-pretty-0.8.2... Building Agda-2.5.1.2... Configuring pandoc-types-1.17.0.4... Installed aeson-pretty-0.8.2 Building pandoc-types-1.17.0.4... Configuring doctemplates-0.1.0.2... Installed pandoc-types-1.17.0.4 Building doctemplates-0.1.0.2... Configuring wai-logger-2.3.0... Installed doctemplates-0.1.0.2 Building wai-logger-2.3.0... Installed wai-logger-2.3.0 Configuring warp-3.2.9... Building warp-3.2.9... Installed warp-3.2.9 Configuring x509-system-1.6.4... Building x509-system-1.6.4... Installed x509-system-1.6.4 Configuring x509-validation-1.6.5... Building x509-validation-1.6.5... Configuring conduit-extra-1.1.15... Installed x509-validation-1.6.5 Building conduit-extra-1.1.15... Configuring yaml-0.8.21.1... Installed conduit-extra-1.1.15 Building yaml-0.8.21.1... Configuring texmath-0.9... Installed yaml-0.8.21.1 Building texmath-0.9... Configuring wai-extra-3.0.19... Installed texmath-0.9 Building wai-extra-3.0.19... Installed wai-extra-3.0.19 Configuring xml-conduit-1.4.0.2... Building xml-conduit-1.4.0.2... Configuring tls-1.3.8... Installed xml-conduit-1.4.0.2 Building tls-1.3.8... Configuring wai-app-static-3.1.6.1... Installed tls-1.3.8 Building wai-app-static-3.1.6.1... Configuring connection-0.2.6... Installed wai-app-static-3.1.6.1 Building connection-0.2.6... Installed connection-0.2.6 Configuring http-client-tls-0.3.3... Building http-client-tls-0.3.3... Installed http-client-tls-0.3.3 Configuring http-conduit-2.2.3... Building http-conduit-2.2.3... Configuring pandoc-1.19.1... Installed http-conduit-2.2.3 Building pandoc-1.19.1... Installed pandoc-1.19.1 Configuring pandoc-citeproc-0.10.3... Building pandoc-citeproc-0.10.3... Installed pandoc-citeproc-0.10.3 Configuring hakyll-4.9.2.0... Building hakyll-4.9.2.0... Installed hakyll-4.9.2.0 Installed Agda-2.5.1.2 Configuring hakyll-agda-0.1.9... Building hakyll-agda-0.1.9... Failed to install hakyll-agda-0.1.9 Build log ( /home/builder/.cabal/logs/hakyll-agda-0.1.9.log ): cabal: Entering directory '/tmp/cabal-tmp-28850/hakyll-agda-0.1.9' Configuring hakyll-agda-0.1.9... Building hakyll-agda-0.1.9... Preprocessing library hakyll-agda-0.1.9... [1 of 1] Compiling Hakyll.Web.Agda ( Hakyll/Web/Agda.hs, dist/build/Hakyll/Web/Agda.o ) Hakyll/Web/Agda.hs:198:44: error: • Couldn't match type ‘Either PandocError Pandoc’ with ‘Pandoc’ Expected type: Item Pandoc Actual type: Item (Either PandocError Pandoc) • In the second argument of ‘writePandocWith’, namely ‘(readMarkdown ropt <$> i')’ In the first argument of ‘return’, namely ‘(writePandocWith wopt (readMarkdown ropt <$> i'))’ In a stmt of a 'do' block: return (writePandocWith wopt (readMarkdown ropt <$> i')) cabal: Leaving directory '/tmp/cabal-tmp-28850/hakyll-agda-0.1.9' cabal: Error: some packages failed to install: hakyll-agda-0.1.9 failed during the building phase. The exception was: ExitFailure 1