Resolving dependencies...
Downloading  STMonadTrans-0.4.6
Starting     StateVar-1.2.2
Starting     HsYAML-0.2.1.0
Starting     SHA-1.6.4.4
Downloaded   STMonadTrans-0.4.6
Starting     STMonadTrans-0.4.6
Building     StateVar-1.2.2
Building     HsYAML-0.2.1.0
Building     SHA-1.6.4.4
Building     STMonadTrans-0.4.6
Completed    StateVar-1.2.2
Starting     appar-0.1.8
Building     appar-0.1.8
Completed    STMonadTrans-0.4.6
Starting     base-compat-0.12.1
Completed    appar-0.1.8
Starting     base-orphans-0.8.6
Building     base-compat-0.12.1
Building     base-orphans-0.8.6
Completed    SHA-1.6.4.4
Starting     base16-bytestring-1.0.2.0
Building     base16-bytestring-1.0.2.0
Completed    base16-bytestring-1.0.2.0
Starting     base64-bytestring-1.2.1.0
Completed    base-orphans-0.8.6
Starting     basement-0.0.13
Building     base64-bytestring-1.2.1.0
Completed    base-compat-0.12.1
Starting     blaze-builder-0.4.2.2
Building     basement-0.0.13
Building     blaze-builder-0.4.2.2
Completed    base64-bytestring-1.2.1.0
Starting     byteorder-1.0.4
Building     byteorder-1.0.4
Completed    HsYAML-0.2.1.0
Starting     cabal-doctest-1.0.9
Completed    blaze-builder-0.4.2.2
Starting     cereal-0.5.8.2
Completed    byteorder-1.0.4
Starting     clock-0.8.3
Building     cabal-doctest-1.0.9
Building     cereal-0.5.8.2
Building     clock-0.8.3
Completed    cabal-doctest-1.0.9
Starting     cmdargs-0.10.21
Completed    clock-0.8.3
Starting     colour-2.3.6
Building     cmdargs-0.10.21
Building     colour-2.3.6
Completed    cereal-0.5.8.2
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    colour-2.3.6
Starting     digest-0.0.1.3
Building     digest-0.0.1.3
Completed    digest-0.0.1.3
Starting     dlist-1.0
Completed    data-hash-0.2.0.1
Starting     emojis-0.1.2
Building     dlist-1.0
Building     emojis-0.1.2
Completed    dlist-1.0
Starting     file-embed-0.0.15.0
Building     file-embed-0.0.15.0
Completed    file-embed-0.0.15.0
Starting     haddock-library-1.10.0
Building     haddock-library-1.10.0
Completed    cmdargs-0.10.21
Starting     haskell-lexer-1.1
Building     haskell-lexer-1.1
Completed    haddock-library-1.10.0
Starting     heaps-0.4
Building     heaps-0.4
Completed    heaps-0.4
Starting     hourglass-0.2.12
Building     hourglass-0.2.12
Completed    emojis-0.1.2
Starting     indexed-traversable-0.1.2
Building     indexed-traversable-0.1.2
Completed    basement-0.0.13
Starting     integer-logarithms-1.0.3.1
Building     integer-logarithms-1.0.3.1
Completed    hourglass-0.2.12
Starting     jira-wiki-markup-1.4.0
Completed    integer-logarithms-1.0.3.1
Starting     js-dgtable-0.5.2
Building     jira-wiki-markup-1.4.0
Building     js-dgtable-0.5.2
Completed    indexed-traversable-0.1.2
Starting     js-flot-0.8.3
Building     js-flot-0.8.3
Completed    js-dgtable-0.5.2
Starting     js-jquery-3.3.1
Building     js-jquery-3.3.1
Completed    js-flot-0.8.3
Starting     lua-2.1.0
Completed    js-jquery-3.3.1
Starting     mime-types-0.1.0.9
Building     lua-2.1.0
Building     mime-types-0.1.0.9
Completed    jira-wiki-markup-1.4.0
Downloading  murmur-hash-0.1.0.10
Downloaded   murmur-hash-0.1.0.10
Starting     murmur-hash-0.1.0.10
Building     murmur-hash-0.1.0.10
Completed    murmur-hash-0.1.0.10
Starting     network-3.1.2.7
Completed    mime-types-0.1.0.9
Starting     old-locale-1.0.0.7
Building     old-locale-1.0.0.7
Completed    old-locale-1.0.0.7
Starting     parallel-3.2.2.0
Building     network-3.1.2.7
Building     parallel-3.2.2.0
Completed    haskell-lexer-1.1
Starting     primitive-0.7.3.0
Building     primitive-0.7.3.0
Completed    parallel-3.2.2.0
Starting     regex-base-0.94.0.2
Building     regex-base-0.94.0.2
Completed    regex-base-0.94.0.2
Starting     safe-0.3.19
Building     safe-0.3.19
Completed    lua-2.1.0
Starting     split-0.2.3.4
Building     split-0.2.3.4
Completed    split-0.2.3.4
Starting     splitmix-0.1.0.4
Building     splitmix-0.1.0.4
Completed    network-3.1.2.7
Starting     syb-0.7.2.1
Completed    safe-0.3.19
Starting     tagged-0.8.6.1
Building     syb-0.7.2.1
Building     tagged-0.8.6.1
Completed    splitmix-0.1.0.4
Starting     tagsoup-0.14.8
Building     tagsoup-0.14.8
Completed    tagged-0.8.6.1
Starting     th-abstraction-0.4.3.0
Building     th-abstraction-0.4.3.0
Completed    syb-0.7.2.1
Starting     th-compat-0.1.3
Building     th-compat-0.1.3
Completed    primitive-0.7.3.0
Starting     transformers-compat-0.7.1
Building     transformers-compat-0.7.1
Completed    th-compat-0.1.3
Starting     unicode-data-0.3.0
Building     unicode-data-0.3.0
Completed    transformers-compat-0.7.1
Starting     unliftio-core-0.2.0.1
Completed    th-abstraction-0.4.3.0
Starting     utf8-string-1.0.2
Building     unliftio-core-0.2.0.1
Building     utf8-string-1.0.2
Completed    unliftio-core-0.2.0.1
Starting     xml-1.3.14
Building     xml-1.3.14
Completed    utf8-string-1.0.2
Starting     xml-types-0.3.8
Building     xml-types-0.3.8
Completed    tagsoup-0.14.8
Starting     zlib-0.6.2.3
Completed    xml-1.3.14
Starting     contravariant-1.5.5
Building     zlib-0.6.2.3
Building     contravariant-1.5.5
Completed    xml-types-0.3.8
Starting     hashable-1.4.0.2
Building     hashable-1.4.0.2
Completed    contravariant-1.5.5
Starting     gitrev-1.3.1
Building     gitrev-1.3.1
Completed    zlib-0.6.2.3
Starting     blaze-markup-0.8.2.8
Completed    gitrev-1.3.1
Starting     extra-1.7.10
Building     blaze-markup-0.8.2.8
Building     extra-1.7.10
Completed    hashable-1.4.0.2
Starting     data-default-instances-containers-0.0.1
Building     data-default-instances-containers-0.0.1
Completed    data-default-instances-containers-0.0.1
Starting     cookie-0.4.5
Completed    blaze-markup-0.8.2.8
Starting     ansi-terminal-0.11.1
Building     cookie-0.4.5
Building     ansi-terminal-0.11.1
Completed    cookie-0.4.5
Starting     data-default-instances-dlist-0.0.1
Completed    extra-1.7.10
Starting     memory-0.16.0
Building     data-default-instances-dlist-0.0.1
Building     memory-0.16.0
Completed    data-default-instances-dlist-0.0.1
Starting     data-default-instances-old-locale-0.0.1
Completed    ansi-terminal-0.11.1
Starting     pretty-show-1.10
Building     data-default-instances-old-locale-0.0.1
Building     pretty-show-1.10
Completed    data-default-instances-old-locale-0.0.1
Starting     regex-tdfa-1.3.1.2
Building     regex-tdfa-1.3.1.2
Completed    pretty-show-1.10
Starting     lpeg-1.0.3
Completed    memory-0.16.0
Starting     hslua-core-2.1.0
Building     lpeg-1.0.3
Building     hslua-core-2.1.0
Completed    unicode-data-0.3.0
Starting     boxes-0.1.5
Building     boxes-0.1.5
Completed    lpeg-1.0.3
Starting     socks-0.6.1
Building     socks-0.6.1
Completed    boxes-0.1.5
Starting     iproute-1.7.12
Completed    hslua-core-2.1.0
Starting     doclayout-0.3.1.1
Building     iproute-1.7.12
Building     doclayout-0.3.1.1
Completed    socks-0.6.1
Starting     random-1.2.1
Building     random-1.2.1
Completed    regex-tdfa-1.3.1.2
Starting     distributive-0.6.2.1
Completed    doclayout-0.3.1.1
Starting     vector-0.12.3.1
Building     distributive-0.6.2.1
Building     vector-0.12.3.1
Completed    iproute-1.7.12
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.6
Building     transformers-base-0.4.6
Completed    transformers-base-0.4.6
Starting     errors-2.3.0
Building     errors-2.3.0
Completed    network-uri-2.6.4.1
Downloading  equivalence-0.4
Downloaded   equivalence-0.4
Starting     equivalence-0.4
Building     equivalence-0.4
Completed    random-1.2.1
Starting     Glob-0.10.2
Building     Glob-0.10.2
Completed    errors-2.3.0
Starting     th-lift-0.8.2
Building     th-lift-0.8.2
Completed    equivalence-0.4
Starting     resourcet-1.2.4.3
Building     resourcet-1.2.4.3
Completed    th-lift-0.8.2
Starting     zip-archive-0.4.1
Completed    Glob-0.10.2
Starting     unordered-containers-0.2.16.0
Building     zip-archive-0.4.1
Building     unordered-containers-0.2.16.0
Completed    resourcet-1.2.4.3
Starting     time-compat-1.9.6.1
Building     time-compat-1.9.6.1
Completed    zip-archive-0.4.1
Starting     text-short-0.1.5
Building     text-short-0.1.5
Completed    time-compat-1.9.6.1
Starting     scientific-0.3.7.0
Building     scientific-0.3.7.0
Completed    text-short-0.1.5
Starting     data-fix-0.3.2
Building     data-fix-0.3.2
Completed    scientific-0.3.7.0
Starting     case-insensitive-1.2.1.0
Completed    unordered-containers-0.2.16.0
Starting     async-2.2.4
Building     case-insensitive-1.2.1.0
Completed    data-fix-0.3.2
Building     async-2.2.4
Starting     OneTuple-0.3.1
Building     OneTuple-0.3.1
Completed    case-insensitive-1.2.1.0
Starting     blaze-html-0.9.1.2
Building     blaze-html-0.9.1.2
Completed    async-2.2.4
Starting     filepattern-0.1.2
Completed    OneTuple-0.3.1
Starting     data-default-0.7.1.1
Building     filepattern-0.1.2
Building     data-default-0.7.1.1
Completed    data-default-0.7.1.1
Starting     pem-0.2.4
Building     pem-0.2.4
Completed    filepattern-0.1.2
Starting     cryptonite-0.29
Building     cryptonite-0.29
Completed    pem-0.2.4
Starting     asn1-types-0.3.4
Building     asn1-types-0.3.4
Completed    asn1-types-0.3.4
Starting     unicode-transforms-0.4.0
Building     unicode-transforms-0.4.0
Completed    vector-0.12.3.1
Starting     hslua-marshalling-2.1.0
Building     hslua-marshalling-2.1.0
Completed    unicode-transforms-0.4.0
Starting     comonad-5.0.8
Building     comonad-5.0.8
Completed    hslua-marshalling-2.1.0
Starting     monad-control-1.0.3.1
Building     monad-control-1.0.3.1
Completed    monad-control-1.0.3.1
Starting     uri-encode-1.5.0.7
Completed    comonad-5.0.8
Starting     uuid-types-1.0.5
Building     uri-encode-1.5.0.7
Completed    blaze-html-0.9.1.2
Starting     temporary-1.3
Building     uuid-types-1.0.5
Building     temporary-1.3
Completed    uri-encode-1.5.0.7
Downloading  edit-distance-0.2.2.1
Downloaded   edit-distance-0.2.2.1
Starting     edit-distance-0.2.2.1
Building     edit-distance-0.2.2.1
Completed    temporary-1.3
Starting     QuickCheck-2.14.2
Building     QuickCheck-2.14.2
Completed    uuid-types-1.0.5
Starting     text-conversions-0.3.1
Building     text-conversions-0.3.1
Completed    edit-distance-0.2.2.1
Starting     attoparsec-0.14.4
Building     attoparsec-0.14.4
Completed    text-conversions-0.3.1
Starting     uniplate-1.6.13
Building     uniplate-1.6.13
Completed    uniplate-1.6.13
Starting     http-types-0.12.3
Building     http-types-0.12.3
Completed    attoparsec-0.14.4
Starting     typed-process-0.2.8.0
Building     typed-process-0.2.8.0
Completed    http-types-0.12.3
Starting     streaming-commons-0.2.2.4
Building     streaming-commons-0.2.2.4
Completed    typed-process-0.2.8.0
Starting     base-compat-batteries-0.12.1
Building     base-compat-batteries-0.12.1
Completed    QuickCheck-2.14.2
Starting     shake-0.19.6
Building     shake-0.19.6
Completed    streaming-commons-0.2.2.4
Starting     asn1-encoding-0.9.6
Completed    base-compat-batteries-0.12.1
Starting     vector-algorithms-0.8.0.4
Building     asn1-encoding-0.9.6
Building     vector-algorithms-0.8.0.4
Completed    asn1-encoding-0.9.6
Starting     th-lift-instances-0.1.19
Building     th-lift-instances-0.1.19
Completed    th-lift-instances-0.1.19
Starting     indexed-traversable-instances-0.1.1
Building     indexed-traversable-instances-0.1.1
Completed    indexed-traversable-instances-0.1.1
Starting     hashtables-1.3
Building     hashtables-1.3
Completed    vector-algorithms-0.8.0.4
Starting     JuicyPixels-3.3.6
Building     JuicyPixels-3.3.6
Completed    hashtables-1.3
Starting     commonmark-0.2.1.1
Building     commonmark-0.2.1.1
Completed    cryptonite-0.29
Starting     hslua-objectorientation-2.1.0
Building     hslua-objectorientation-2.1.0
Completed    hslua-objectorientation-2.1.0
Starting     hslua-classes-2.1.0
Building     hslua-classes-2.1.0
Completed    hslua-classes-2.1.0
Starting     bifunctors-5.5.11
Building     bifunctors-5.5.11
Completed    bifunctors-5.5.11
Starting     http-client-0.7.11
Building     http-client-0.7.11
Completed    commonmark-0.2.1.1
Starting     asn1-parse-0.9.5
Building     asn1-parse-0.9.5
Completed    JuicyPixels-3.3.6
Starting     unicode-collation-0.1.3.1
Building     unicode-collation-0.1.3.1
Completed    shake-0.19.6
Starting     witherable-0.4.2
Completed    asn1-parse-0.9.5
Starting     mono-traversable-1.0.15.3
Building     witherable-0.4.2
Building     mono-traversable-1.0.15.3
Completed    http-client-0.7.11
Starting     hslua-packaging-2.1.0
Building     hslua-packaging-2.1.0
Completed    witherable-0.4.2
Starting     semigroupoids-5.3.7
Building     semigroupoids-5.3.7
Completed    hslua-packaging-2.1.0
Starting     assoc-1.0.2
Building     assoc-1.0.2
Completed    assoc-1.0.2
Starting     commonmark-extensions-0.2.3
Building     commonmark-extensions-0.2.3
Completed    mono-traversable-1.0.15.3
Starting     x509-1.7.6
Building     x509-1.7.6
Completed    semigroupoids-5.3.7
Starting     hslua-module-version-1.0.2
Completed    unicode-collation-0.1.3.1
Starting     hslua-module-text-1.0.2
Building     hslua-module-version-1.0.2
Building     hslua-module-text-1.0.2
Completed    commonmark-extensions-0.2.3
Starting     hslua-module-system-1.0.2
Building     hslua-module-system-1.0.2
Completed    hslua-module-version-1.0.2
Starting     hslua-module-path-1.0.2
Completed    hslua-module-text-1.0.2
Starting     hslua-2.1.0
Building     hslua-module-path-1.0.2
Building     hslua-2.1.0
Completed    hslua-module-system-1.0.2
Starting     these-1.1.1.1
Completed    hslua-2.1.0
Starting     conduit-1.3.4.2
Completed    hslua-module-path-1.0.2
Building     these-1.1.1.1
Building     conduit-1.3.4.2
Completed    x509-1.7.6
Starting     x509-store-1.6.9
Building     x509-store-1.6.9
Completed    x509-store-1.6.9
Starting     x509-system-1.6.7
Starting     x509-validation-1.6.12
Completed    these-1.1.1.1
Starting     strict-0.4.0.1
Building     x509-validation-1.6.12
Building     x509-system-1.6.7
Building     strict-0.4.0.1
Completed    x509-system-1.6.7
Starting     semialign-1.2.0.1
Building     semialign-1.2.0.1
Completed    x509-validation-1.6.12
Starting     tls-1.5.7
Building     tls-1.5.7
Completed    strict-0.4.0.1
Completed    semialign-1.2.0.1
Starting     aeson-2.0.3.0
Building     aeson-2.0.3.0
Completed    conduit-1.3.4.2
Starting     libyaml-0.1.2
Starting     conduit-extra-1.3.5
Building     libyaml-0.1.2
Building     conduit-extra-1.3.5
Completed    conduit-extra-1.3.5
Starting     xml-conduit-1.9.1.1
Completed    libyaml-0.1.2
Building     xml-conduit-1.9.1.1
Completed    xml-conduit-1.9.1.1
Completed    tls-1.5.7
Starting     connection-0.3.1
Building     connection-0.3.1
Completed    connection-0.3.1
Starting     http-client-tls-0.3.6.1
Building     http-client-tls-0.3.6.1
Completed    aeson-2.0.3.0
Starting     pandoc-types-1.22.1
Starting     yaml-0.11.8.0
Starting     skylighting-core-0.12.3
Completed    http-client-tls-0.3.6.1
Starting     ipynb-0.2
Building     pandoc-types-1.22.1
Building     yaml-0.11.8.0
Building     skylighting-core-0.12.3
Building     ipynb-0.2
Completed    ipynb-0.2
Starting     hslua-aeson-2.1.0
Building     hslua-aeson-2.1.0
Completed    yaml-0.11.8.0
Starting     doctemplates-0.10.0.1
Building     doctemplates-0.10.0.1
Completed    hslua-aeson-2.1.0
Starting     aeson-pretty-0.8.9
Building     aeson-pretty-0.8.9
Completed    aeson-pretty-0.8.9
Downloading  Agda-2.6.2.1
Downloaded   Agda-2.6.2.1
Starting     Agda-2.6.2.1
Completed    doctemplates-0.10.0.1
Starting     mustache-2.4.0
Building     mustache-2.4.0
Building     Agda-2.6.2.1
Completed    skylighting-core-0.12.3
Starting     skylighting-0.12.3
Building     skylighting-0.12.3
Completed    mustache-2.4.0
Completed    pandoc-types-1.22.1
Starting     pandoc-lua-marshal-0.1.5.1
Building     pandoc-lua-marshal-0.1.5.1
Starting     texmath-0.12.4
Building     texmath-0.12.4
Completed    skylighting-0.12.3
Starting     commonmark-pandoc-0.2.1.2
Building     commonmark-pandoc-0.2.1.2
Completed    pandoc-lua-marshal-0.1.5.1
Starting     citeproc-0.6.0.1
Building     citeproc-0.6.0.1
Completed    commonmark-pandoc-0.2.1.2
Completed    citeproc-0.6.0.1
Completed    texmath-0.12.4
Starting     pandoc-2.17.1.1
Building     pandoc-2.17.1.1
Completed    Agda-2.6.2.1
Completed    pandoc-2.17.1.1
Downloading  blagda-0.1.0.1
Downloaded   blagda-0.1.0.1
Starting     blagda-0.1.0.1
Building     blagda-0.1.0.1
Completed    blagda-0.1.0.1