Resolving dependencies... Configuring appar-0.1.4... Configuring ansi-terminal-0.6.2.3... Building appar-0.1.4... Building ansi-terminal-0.6.2.3... Configuring SHA-1.6.4.2... Installed appar-0.1.4 Building SHA-1.6.4.2... Installed ansi-terminal-0.6.2.3 Configuring auto-update-0.1.4... Building auto-update-0.1.4... Configuring base64-bytestring-1.0.0.1... Installed auto-update-0.1.4 Building base64-bytestring-1.0.0.1... Configuring byteable-0.1.1... Installed base64-bytestring-1.0.0.1 Building byteable-0.1.1... Configuring base-compat-0.9.1... Installed byteable-0.1.1 Building base-compat-0.9.1... Configuring byteorder-1.0.4... Installed SHA-1.6.4.2 Building byteorder-1.0.4... Configuring bytestring-builder-0.10.8.1.0... Installed base-compat-0.9.1 Configuring cereal-0.5.4.0... Installed byteorder-1.0.4 Building bytestring-builder-0.10.8.1.0... Building cereal-0.5.4.0... Configuring cmdargs-0.10.14... Installed bytestring-builder-0.10.8.1.0 Building cmdargs-0.10.14... Configuring data-default-class-0.1.2.0... Installed 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 digest-0.0.1.2... Installed data-hash-0.2.0.1 Building digest-0.0.1.2... Configuring dlist-0.8.0.2... Installed digest-0.0.1.2 Building dlist-0.8.0.2... Configuring easy-file-0.2.1... Installed dlist-0.8.0.2 Building easy-file-0.2.1... Configuring extensible-exceptions-0.1.1.4... Installed cmdargs-0.10.14 Configuring file-embed-0.0.10... Installed easy-file-0.2.1 Building extensible-exceptions-0.1.1.4... Building file-embed-0.0.10... Configuring haddock-library-1.4.2... Installed extensible-exceptions-0.1.1.4 Building haddock-library-1.4.2... Configuring hourglass-0.2.10... Installed file-embed-0.0.10 Building hourglass-0.2.10... Configuring hslua-0.4.1... Installed haddock-library-1.4.2 Building hslua-0.4.1... Configuring memory-0.13... Installed hourglass-0.2.10 Building memory-0.13... Configuring monadplus-1.4.2... Installed memory-0.13 Building monadplus-1.4.2... Configuring mtl-2.2.1... Installed monadplus-1.4.2 Configuring network-2.6.3.1... Installed hslua-0.4.1 Building mtl-2.2.1... Building network-2.6.3.1... Configuring old-locale-1.0.0.7... Installed mtl-2.2.1 Building old-locale-1.0.0.7... Configuring parallel-3.2.1.0... Installed old-locale-1.0.0.7 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 random-1.1... Installed network-2.6.3.1 Building random-1.1... Configuring rfc5051-0.1.0.3... Installed primitive-0.6.1.0 Building rfc5051-0.1.0.3... Configuring semigroups-0.18.2... Installed random-1.1 Building semigroups-0.18.2... Configuring setenv-0.1.1.3... Installed semigroups-0.18.2 Building setenv-0.1.1.3... Configuring split-0.2.3.1... Installed rfc5051-0.1.0.3 Configuring stm-2.4.4.1... Installed setenv-0.1.1.3 Building split-0.2.3.1... Building stm-2.4.4.1... Configuring strict-0.3.2... Installed split-0.2.3.1 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.6... Installed strict-0.3.2 Building syb-0.6... Configuring text-1.2.2.1... Installed stringsearch-0.3.6.6 Configuring time-locale-compat-0.1.1.3... Installed syb-0.6 Building text-1.2.2.1... Building time-locale-compat-0.1.1.3... Configuring transformers-compat-0.5.1.4... Installed time-locale-compat-0.1.1.3 Building transformers-compat-0.5.1.4... Configuring unix-compat-0.4.3.1... Installed transformers-compat-0.5.1.4 Building unix-compat-0.4.3.1... Configuring utf8-string-1.0.1.1... Installed unix-compat-0.4.3.1 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 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.1 Building ansi-wl-pprint-0.6.7.3... Installed zlib-0.6.1.2 Configuring data-default-instances-containers-0.0.1... Configuring data-default-instances-dlist-0.0.1... Installed ansi-wl-pprint-0.6.7.3 Building data-default-instances-containers-0.0.1... Building data-default-instances-dlist-0.0.1... Configuring asn1-types-0.3.2... Installed data-default-instances-containers-0.0.1 Configuring cryptonite-0.20... Installed data-default-instances-dlist-0.0.1 Building asn1-types-0.3.2... Building cryptonite-0.20... Configuring EdisonAPI-1.3... Installed asn1-types-0.3.2 Building EdisonAPI-1.3... Configuring STMonadTrans-0.3.4... Installed EdisonAPI-1.3 Building STMonadTrans-0.3.4... Configuring geniplate-mirror-0.7.4... Installed STMonadTrans-0.3.4 Building geniplate-mirror-0.7.4... Configuring pem-0.2.2... Installed geniplate-mirror-0.7.4 Building pem-0.2.2... Configuring regex-base-0.93.2... Installed pem-0.2.2 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 old-time-1.1.0.3... Installed data-default-instances-old-locale-0.0.1 Building old-time-1.1.0.3... Configuring iproute-1.7.1... Installed old-time-1.1.0.3 Building iproute-1.7.1... Configuring simple-sendfile-0.2.25... Installed iproute-1.7.1 Configuring socks-0.5.5... Installed cryptonite-0.20 Building simple-sendfile-0.2.25... Building socks-0.5.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 socks-0.5.5 Building edit-distance-0.2.2.1... Configuring tf-random-0.5... Installed edit-distance-0.2.2.1 Building tf-random-0.5... Configuring boxes-0.1.4... Installed tf-random-0.5 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... Installed StateVar-1.1.0.4 Building async-2.1.1... Configuring hs-bibutils-5.5... Installed async-2.1.1 Building hs-bibutils-5.5... Configuring exceptions-0.8.3... Installed vector-0.11.0.0 Building exceptions-0.8.3... Configuring mmorph-1.0.9... Installed exceptions-0.8.3 Building mmorph-1.0.9... Configuring transformers-base-0.4.4... Installed mmorph-1.0.9 Building transformers-base-0.4.4... Configuring tagged-0.8.5... Installed transformers-base-0.4.4 Building tagged-0.8.5... Configuring filemanip-0.3.6.3... Installed hs-bibutils-5.5 Building filemanip-0.3.6.3... Configuring blaze-builder-0.4.0.2... Installed tagged-0.8.5 Building blaze-builder-0.4.0.2... Configuring cmark-0.5.4... Installed filemanip-0.3.6.3 Building cmark-0.5.4... Configuring hashable-1.2.4.0... Installed blaze-builder-0.4.0.2 Building hashable-1.2.4.0... Configuring mime-types-0.1.0.7... Installed hashable-1.2.4.0 Building mime-types-0.1.0.7... Configuring parsec-3.1.11... Installed cmark-0.5.4 Building parsec-3.1.11... Configuring polyparse-1.12... Installed mime-types-0.1.0.7 Building polyparse-1.12... Configuring system-filepath-0.4.13.4... Installed parsec-3.1.11 Configuring tagsoup-0.14... Installed polyparse-1.12 Building system-filepath-0.4.13.4... Building tagsoup-0.14... Configuring xml-1.3.14... Installed system-filepath-0.4.13.4 Building xml-1.3.14... Configuring xml-types-0.3.6... Installed xml-1.3.14 Building xml-types-0.3.6... Installed tagsoup-0.14 Configuring asn1-encoding-0.9.4... Building asn1-encoding-0.9.4... Configuring optparse-applicative-0.13.0.0... Installed xml-types-0.3.6 Building optparse-applicative-0.13.0.0... 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 Configuring regex-pcre-builtin-0.94.4.8.8.35... Installed equivalence-0.3.1 Building data-default-0.7.1.1... Building regex-pcre-builtin-0.94.4.8.8.35... Configuring unix-time-0.3.7... Installed data-default-0.7.1.1 Building unix-time-0.3.7... Configuring zip-archive-0.3.0.5... Installed unix-time-0.3.7 Building zip-archive-0.3.0.5... Configuring cryptohash-0.11.9... Installed regex-pcre-builtin-0.94.4.8.8.35 Building cryptohash-0.11.9... Configuring QuickCheck-2.8.2... Installed zip-archive-0.3.0.5 Building QuickCheck-2.8.2... Configuring hinotify-0.3.9... Installed cryptohash-0.11.9 Building hinotify-0.3.9... Configuring JuicyPixels-3.2.8... Installed hinotify-0.3.9 Building JuicyPixels-3.2.8... Configuring temporary-1.2.0.4... Installed QuickCheck-2.8.2 Building temporary-1.2.0.4... Configuring monad-control-1.0.1.0... Installed temporary-1.2.0.4 Building monad-control-1.0.1.0... Configuring blaze-markup-0.7.1.1... Installed monad-control-1.0.1.0 Building blaze-markup-0.7.1.1... Configuring cookie-0.4.2.1... Installed blaze-markup-0.7.1.1 Building cookie-0.4.2.1... Configuring streaming-commons-0.1.16... Installed cookie-0.4.2.1 Building streaming-commons-0.1.16... Configuring case-insensitive-1.2.0.7... Installed JuicyPixels-3.2.8 Building case-insensitive-1.2.0.7... 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 case-insensitive-1.2.0.7 Building psqueues-0.2.2.3... Configuring scientific-0.3.4.9... Installed hashtables-1.2.1.0 Configuring unordered-containers-0.2.7.1... Installed psqueues-0.2.2.3 Building scientific-0.3.4.9... Building unordered-containers-0.2.7.1... Configuring void-0.7.1... Installed scientific-0.3.4.9 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 unordered-containers-0.2.7.1 Building regex-tdfa-1.2.2... Configuring cpphs-1.20.2... Installed network-uri-2.6.1.0 Building cpphs-1.20.2... Installed cpphs-1.20.2 Configuring asn1-parse-0.9.4... Building asn1-parse-0.9.4... Installed asn1-parse-0.9.4 Configuring fsnotify-0.2.1... Configuring fast-logger-2.4.7... Installed regex-tdfa-1.2.2 Building fsnotify-0.2.1... Building fast-logger-2.4.7... Configuring lifted-base-0.2.3.8... Installed fsnotify-0.2.1 Configuring EdisonCore-1.3.1.1... Installed fast-logger-2.4.7 Building lifted-base-0.2.3.8... 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 contravariant-1.4... Installed EdisonCore-1.3.1.1 Building contravariant-1.4... Configuring vault-0.3.0.6... Installed contravariant-1.4 Building vault-0.3.0.6... Configuring attoparsec-0.13.1.0... Installed vault-0.3.0.6 Configuring HTTP-4000.3.3... Installed http2-1.6.2 Building attoparsec-0.13.1.0... Building HTTP-4000.3.3... Configuring haskell-src-exts-1.17.1... Installed attoparsec-0.13.1.0 Building haskell-src-exts-1.17.1... Installed HTTP-4000.3.3 Configuring x509-1.6.5... Building x509-1.6.5... Installed x509-1.6.5 Configuring enclosed-exceptions-1.0.2... 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 lrucache-1.2.0.0... Installed http-client-0.5.4 Building lrucache-1.2.0.0... Configuring wai-3.2.1.1... Installed lrucache-1.2.0.0 Building wai-3.2.1.1... Configuring highlighting-kate-0.6.3... Installed wai-3.2.1.1 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 aeson-1.0.2.1... Installed http-date-0.0.6.1 Building aeson-1.0.2.1... Installed aeson-1.0.2.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 wai-logger-2.3.0... Installed conduit-1.2.8 Building wai-logger-2.3.0... Installed wai-logger-2.3.0 Configuring warp-3.2.9... Building warp-3.2.9... Configuring Agda-2.5.1.2... Installed highlighting-kate-0.6.3 Building Agda-2.5.1.2... Configuring doctemplates-0.1.0.2... Installed warp-3.2.9 Building doctemplates-0.1.0.2... Configuring aeson-pretty-0.8.2... Installed doctemplates-0.1.0.2 Building aeson-pretty-0.8.2... Configuring pandoc-types-1.17.0.4... Installed aeson-pretty-0.8.2 Building pandoc-types-1.17.0.4... Installed pandoc-types-1.17.0.4 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... Installed x509-validation-1.6.5 Configuring yaml-0.8.21.1... Building yaml-0.8.21.1... Configuring conduit-extra-1.1.15... Installed yaml-0.8.21.1 Building conduit-extra-1.1.15... Configuring wai-extra-3.0.19... Installed conduit-extra-1.1.15 Building wai-extra-3.0.19... Configuring texmath-0.9... Installed wai-extra-3.0.19 Building texmath-0.9... Configuring tls-1.3.8... Installed texmath-0.9 Building tls-1.3.8... Configuring xml-conduit-1.4.0.2... Installed tls-1.3.8 Building xml-conduit-1.4.0.2... Configuring wai-app-static-3.1.6.1... Installed xml-conduit-1.4.0.2 Building wai-app-static-3.1.6.1... Installed wai-app-static-3.1.6.1 Configuring connection-0.2.6... 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 Downloading hakyll-agda-0.1.9... 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-32199/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-32199/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