Build #1 for agda2hs-1.2

[all reports]

Package agda2hs-1.2
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2023-12-11 16:18:45.121186362 UTC
Compiler ghc-9.2.4
OS linux
Arch x86_64
Dependencies Agda-2.6.4.1, aeson-2.2.1.0, base-4.16.3.0, bytestring-0.11.5.3, containers-0.6.5.1, deepseq-1.4.6.1, directory-1.3.8.1, filepath-1.4.200.1, haskell-src-exts-1.23.1, mtl-2.2.2, syb-0.7.2.4, text-2.1, unordered-containers-0.2.19.1, yaml-0.11.11.2
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Warning: Note that reinstalls are always dangerous. Continuing anyway...
Starting     OneTuple-0.4.1.1
Starting     STMonadTrans-0.4.7
Starting     StateVar-1.2.2
Starting     colour-2.3.6
Starting     data-array-byte-0.1.0.1
Starting     data-hash-0.2.0.1
Starting     dlist-1.0
Starting     bytestring-0.11.5.3
Starting     generically-0.1.1
Starting     parallel-3.2.2.0
Starting     peano-0.1.0.2
Starting     split-0.2.4
Starting     syb-0.7.2.4
Starting     tagged-0.8.8
Starting     th-abstraction-0.6.0.0
Starting     unliftio-core-0.2.1.0
Starting     transformers-compat-0.7.2
Starting     base-orphans-0.9.1
Starting     integer-logarithms-1.0.3.1
Starting     splitmix-0.1.0.5
Starting     vector-stream-0.1.0.0
Starting     haskell-src-exts-1.23.1
Building     StateVar-1.2.2
Building     bytestring-0.11.5.3
Building     dlist-1.0
Building     OneTuple-0.4.1.1
Building     data-array-byte-0.1.0.1
Building     peano-0.1.0.2
Building     STMonadTrans-0.4.7
Building     parallel-3.2.2.0
Building     unliftio-core-0.2.1.0
Building     generically-0.1.1
Building     colour-2.3.6
Building     split-0.2.4
Building     data-hash-0.2.0.1
Building     splitmix-0.1.0.5
Building     syb-0.7.2.4
Building     tagged-0.8.8
Building     th-abstraction-0.6.0.0
Building     transformers-compat-0.7.2
Building     integer-logarithms-1.0.3.1
Building     vector-stream-0.1.0.0
Building     base-orphans-0.9.1
Building     haskell-src-exts-1.23.1
Completed    OneTuple-0.4.1.1
Completed    generically-0.1.1
Completed    integer-logarithms-1.0.3.1
Completed    unliftio-core-0.2.1.0
Completed    peano-0.1.0.2
Completed    StateVar-1.2.2
Starting     contravariant-1.5.5
Completed    data-hash-0.2.0.1
Completed    split-0.2.4
Starting     boxes-0.1.5
Completed    base-orphans-0.9.1
Building     contravariant-1.5.5
Completed    parallel-3.2.2.0
Building     boxes-0.1.5
Completed    data-array-byte-0.1.0.1
Starting     primitive-0.9.0.0
Completed    splitmix-0.1.0.5
Completed    STMonadTrans-0.4.7
Completed    tagged-0.8.8
Starting     foldable1-classes-compat-0.1
Starting     distributive-0.6.2.1
Starting     assoc-1.1
Building     primitive-0.9.0.0
Completed    syb-0.7.2.4
Completed    colour-2.3.6
Starting     ansi-terminal-types-0.11.5
Building     assoc-1.1
Building     distributive-0.6.2.1
Completed    vector-stream-0.1.0.0
Building     foldable1-classes-compat-0.1
Completed    dlist-1.0
Completed    transformers-compat-0.7.2
Starting     transformers-base-0.4.6
Starting     equivalence-0.4.1
Building     ansi-terminal-types-0.11.5
Building     transformers-base-0.4.6
Building     equivalence-0.4.1
Completed    th-abstraction-0.6.0.0
Completed    boxes-0.1.5
Completed    assoc-1.1
Completed    contravariant-1.5.5
Completed    distributive-0.6.2.1
Completed    transformers-base-0.4.6
Starting     monad-control-1.0.3.1
Building     monad-control-1.0.3.1
Completed    ansi-terminal-types-0.11.5
Starting     ansi-terminal-1.0
Building     ansi-terminal-1.0
Completed    foldable1-classes-compat-0.1
Starting     indexed-traversable-0.1.3
Completed    equivalence-0.4.1
Building     indexed-traversable-0.1.3
Completed    monad-control-1.0.3.1
Completed    ansi-terminal-1.0
Completed    primitive-0.9.0.0
Starting     resourcet-1.3.0
Starting     vector-0.13.1.0
Completed    indexed-traversable-0.1.3
Starting     comonad-5.0.8
Building     resourcet-1.3.0
Building     vector-0.13.1.0
Building     comonad-5.0.8
Completed    bytestring-0.11.5.3
Starting     utf8-string-1.0.2
Starting     murmur-hash-0.1.0.10
Starting     ghc-compact-0.1.0.0
Starting     random-1.2.1.1
Starting     zlib-0.6.3.0
Starting     binary-0.8.9.1
Starting     filepath-1.4.200.1
Building     utf8-string-1.0.2
Building     ghc-compact-0.1.0.0
Building     murmur-hash-0.1.0.10
Building     random-1.2.1.1
Building     filepath-1.4.200.1
Building     zlib-0.6.3.0
Building     binary-0.8.9.1
Completed    ghc-compact-0.1.0.0
Completed    murmur-hash-0.1.0.10
Completed    resourcet-1.3.0
Completed    comonad-5.0.8
Starting     bifunctors-5.6.1
Completed    utf8-string-1.0.2
Building     bifunctors-5.6.1
Completed    zlib-0.6.3.0
Completed    binary-0.8.9.1
Starting     text-2.1
Building     text-2.1
Completed    random-1.2.1.1
Starting     edit-distance-0.2.2.1
Starting     QuickCheck-2.14.3
Building     edit-distance-0.2.2.1
Building     QuickCheck-2.14.3
Completed    filepath-1.4.200.1
Starting     unix-2.8.5.0
Completed    edit-distance-0.2.2.1
Building     unix-2.8.5.0
Completed    bifunctors-5.6.1
Completed    QuickCheck-2.14.3
Completed    vector-0.13.1.0
Starting     bitvec-1.1.5.0
Building     bitvec-1.1.5.0
Completed    unix-2.8.5.0
Starting     directory-1.3.8.1
Starting     base-compat-0.13.1
Building     base-compat-0.13.1
Completed    bitvec-1.1.5.0
Starting     vector-algorithms-0.9.0.1
Building     directory-1.3.8.1
Completed    text-2.1
Starting     regex-base-0.94.0.2
Starting     integer-conversion-0.1.0.1
Starting     hashable-1.4.3.0
Starting     parsec-3.1.17.0
Starting     blaze-builder-0.4.2.3
Building     vector-algorithms-0.9.0.1
Building     regex-base-0.94.0.2
Building     integer-conversion-0.1.0.1
Building     hashable-1.4.3.0
Building     parsec-3.1.17.0
Building     blaze-builder-0.4.2.3
Completed    integer-conversion-0.1.0.1
Completed    regex-base-0.94.0.2
Completed    blaze-builder-0.4.2.3
Starting     blaze-markup-0.8.3.0
Completed    directory-1.3.8.1
Starting     th-compat-0.1.4
Starting     process-1.6.18.0
Building     blaze-markup-0.8.3.0
Building     th-compat-0.1.4
Completed    hashable-1.4.3.0
Starting     unordered-containers-0.2.19.1
Starting     vector-hashtables-0.1.1.3
Starting     these-1.2
Starting     scientific-0.3.7.0
Starting     data-fix-0.3.2
Starting     time-compat-1.9.6.1
Starting     async-2.2.5
Starting     uuid-types-1.0.5.1
Starting     case-insensitive-1.2.1.0
Starting     text-short-0.1.5
Building     vector-hashtables-0.1.1.3
Building     scientific-0.3.7.0
Building     async-2.2.5
Building     data-fix-0.3.2
Building     these-1.2
Building     uuid-types-1.0.5.1
Building     unordered-containers-0.2.19.1
Building     time-compat-1.9.6.1
Building     text-short-0.1.5
Building     case-insensitive-1.2.1.0
Building     process-1.6.18.0
Completed    base-compat-0.13.1
Completed    parsec-3.1.17.0
Starting     regex-tdfa-1.3.2.2
Starting     Cabal-syntax-3.10.2.0
Building     regex-tdfa-1.3.2.2
Building     Cabal-syntax-3.10.2.0
Completed    th-compat-0.1.4
Starting     network-uri-2.6.4.2
Building     network-uri-2.6.4.2
Completed    blaze-markup-0.8.3.0
Starting     blaze-html-0.9.1.2
Completed    async-2.2.5
Building     blaze-html-0.9.1.2
Completed    data-fix-0.3.2
Completed    uuid-types-1.0.5.1
Completed    case-insensitive-1.2.1.0
Completed    text-short-0.1.5
Completed    process-1.6.18.0
Starting     gitrev-1.3.1
Starting     haskeline-0.8.2.1
Completed    time-compat-1.9.6.1
Starting     text-iso8601-0.1
Completed    scientific-0.3.7.0
Starting     attoparsec-0.14.4
Building     gitrev-1.3.1
Building     haskeline-0.8.2.1
Completed    vector-algorithms-0.9.0.1
Building     text-iso8601-0.1
Completed    these-1.2
Starting     strict-0.5
Building     attoparsec-0.14.4
Building     strict-0.5
Completed    vector-hashtables-0.1.1.3
Completed    network-uri-2.6.4.2
Starting     uri-encode-1.5.0.7
Completed    gitrev-1.3.1
Building     uri-encode-1.5.0.7
Completed    text-iso8601-0.1
Completed    unordered-containers-0.2.19.1
Starting     mono-traversable-1.0.15.3
Starting     indexed-traversable-instances-0.1.1.2
Starting     semigroupoids-6.0.0.1
Building     semigroupoids-6.0.0.1
Building     indexed-traversable-instances-0.1.1.2
Building     mono-traversable-1.0.15.3
Completed    uri-encode-1.5.0.7
Completed    strict-0.5
Completed    regex-tdfa-1.3.2.2
Completed    indexed-traversable-instances-0.1.1.2
Starting     witherable-0.4.2
Building     witherable-0.4.2
Completed    blaze-html-0.9.1.2
Completed    attoparsec-0.14.4
Completed    haskeline-0.8.2.1
Completed    haskell-src-exts-1.23.1
Completed    semigroupoids-6.0.0.1
Starting     semialign-1.3
Building     semialign-1.3
Completed    witherable-0.4.2
Completed    mono-traversable-1.0.15.3
Starting     conduit-1.3.5
Building     conduit-1.3.5
Completed    semialign-1.3
Starting     aeson-2.2.1.0
Building     aeson-2.2.1.0
Completed    conduit-1.3.5
Starting     libyaml-0.1.2
Building     libyaml-0.1.2
Completed    libyaml-0.1.2
Completed    aeson-2.2.1.0
Starting     yaml-0.11.11.2
Building     yaml-0.11.11.2
Completed    Cabal-syntax-3.10.2.0
Starting     Cabal-3.10.2.1
Building     Cabal-3.10.2.1
Completed    yaml-0.11.11.2
Completed    Cabal-3.10.2.1
Starting     Agda-2.6.4.1
Building     Agda-2.6.4.1
Completed    Agda-2.6.4.1
Downloading  agda2hs-1.2
Downloaded   agda2hs-1.2
Starting     agda2hs-1.2
Building     agda2hs-1.2
Completed    agda2hs-1.2

Test log

[view raw]

Resolving dependencies...
Error:
    Internal libraries only supported with per-component builds.
    Per-component builds were disabled because program coverage is enabled
    In the package 'attoparsec-0.14.4'