Build #1 for liquid-fixpoint-0.8.10.7
| Package | liquid-fixpoint-0.8.10.7 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2021-11-05 10:10:01.90003155 UTC |
|---|---|
| Compiler | ghc-8.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | aeson-2.0.1.0, ansi-terminal-0.11, array-0.5.4.0, ascii-progress-0.3.3.0, async-2.2.4, attoparsec-0.14.2, base-4.14.1.0, binary-0.8.8.0, boxes-0.1.5, bytestring-0.10.10.0, cereal-0.5.8.2, cmdargs-0.10.21, containers-0.6.2.1, deepseq-1.4.4.0, directory-1.3.6.0, fgl-5.7.0.3, filepath-1.4.2.1, hashable-1.3.3.0, intern-0.9.4, megaparsec-8.0.0, mtl-2.2.2, parallel-3.2.2.0, parser-combinators-1.3.0, pretty-1.1.3.6, process-1.6.9.0, rest-rewrite-0.1.1, stm-2.5.0.0, store-0.7.12, syb-0.7.2.1, text-1.2.5.0, transformers-0.5.6.2, unordered-containers-0.2.14.0, base-4.14.1.0 |
| Flags | -devel |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Warning: The following packages are likely to be broken by the reinstalls: Cabal-3.2.0.0 Continuing even though the plan contains dangerous reinstalls. Starting StateVar-1.2.2 Starting base64-bytestring-1.2.1.0 Starting base-orphans-0.8.6 Starting base-compat-0.12.1 Building StateVar-1.2.2 Building base64-bytestring-1.2.1.0 Building base-orphans-0.8.6 Building base-compat-0.12.1 Completed StateVar-1.2.2 Starting basement-0.0.12 Building basement-0.0.12 Completed base64-bytestring-1.2.1.0 Starting byteable-0.1.1 Building byteable-0.1.1 Completed byteable-0.1.1 Starting call-stack-0.4.0 Building call-stack-0.4.0 Completed base-orphans-0.8.6 Starting cereal-0.5.8.2 Building cereal-0.5.8.2 Completed base-compat-0.12.1 Starting clock-0.8.2 Completed call-stack-0.4.0 Starting cmdargs-0.10.21 Building clock-0.8.2 Building cmdargs-0.10.21 Completed clock-0.8.2 Starting colour-2.3.6 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 dlist-1.0 Building dlist-1.0 Completed colour-2.3.6 Starting fgl-5.7.0.3 Building fgl-5.7.0.3 Completed dlist-1.0 Starting hspec-discover-2.8.3 Building hspec-discover-2.8.3 Completed hspec-discover-2.8.3 Starting indexed-traversable-0.1.2 Building indexed-traversable-0.1.2 Completed fgl-5.7.0.3 Starting integer-logarithms-1.0.3.1 Completed cmdargs-0.10.21 Starting logict-0.7.0.3 Building integer-logarithms-1.0.3.1 Building logict-0.7.0.3 Completed indexed-traversable-0.1.2 Starting monad-loops-0.4.3 Building monad-loops-0.4.3 Completed integer-logarithms-1.0.3.1 Starting nats-1.1.2 Building nats-1.1.2 Completed nats-1.1.2 Starting network-3.1.2.5 Completed logict-0.7.0.3 Starting old-locale-1.0.0.7 Completed monad-loops-0.4.3 Starting parallel-3.2.2.0 Building old-locale-1.0.0.7 Building parallel-3.2.2.0 Completed old-locale-1.0.0.7 Starting parser-combinators-1.3.0 Building parser-combinators-1.3.0 Building network-3.1.2.5 Completed parallel-3.2.2.0 Starting primitive-0.7.3.0 Building primitive-0.7.3.0 Completed parser-combinators-1.3.0 Starting safe-0.3.19 Building safe-0.3.19 Completed safe-0.3.19 Starting setenv-0.1.1.3 Building setenv-0.1.1.3 Completed setenv-0.1.1.3 Starting split-0.2.3.4 Building split-0.2.3.4 Completed basement-0.0.12 Starting splitmix-0.1.0.4 Building splitmix-0.1.0.4 Completed split-0.2.3.4 Starting syb-0.7.2.1 Completed network-3.1.2.5 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 terminal-size-0.3.2.1 Building terminal-size-0.3.2.1 Completed primitive-0.7.3.0 Starting text-1.2.5.0 Completed tagged-0.8.6.1 Starting th-abstraction-0.4.3.0 Building text-1.2.5.0 Completed syb-0.7.2.1 Starting th-compat-0.1.3 Building th-abstraction-0.4.3.0 Building th-compat-0.1.3 Completed terminal-size-0.3.2.1 Starting transformers-compat-0.7.1 Building transformers-compat-0.7.1 Completed th-compat-0.1.3 Starting unliftio-core-0.2.0.1 Building unliftio-core-0.2.0.1 Completed unliftio-core-0.2.0.1 Starting void-0.7.3 Completed transformers-compat-0.7.1 Starting contravariant-1.5.5 Building void-0.7.3 Completed th-abstraction-0.4.3.0 Starting OneTuple-0.3 Building contravariant-1.5.5 Building OneTuple-0.3 Completed void-0.7.3 Starting HUnit-1.6.2.0 Building HUnit-1.6.2.0 Completed OneTuple-0.3 Starting data-default-instances-containers-0.0.1 Building data-default-instances-containers-0.0.1 Completed contravariant-1.5.5 Starting ansi-terminal-0.11 Building ansi-terminal-0.11 Completed HUnit-1.6.2.0 Starting data-default-instances-dlist-0.0.1 Completed data-default-instances-containers-0.0.1 Starting smallcheck-1.2.1 Building data-default-instances-dlist-0.0.1 Building smallcheck-1.2.1 Completed data-default-instances-dlist-0.0.1 Starting data-default-instances-old-locale-0.0.1 Building data-default-instances-old-locale-0.0.1 Completed data-default-instances-old-locale-0.0.1 Starting memory-0.16.0 Completed ansi-terminal-0.11 Starting boxes-0.1.5 Building memory-0.16.0 Building boxes-0.1.5 Completed boxes-0.1.5 Starting random-1.2.1 Building random-1.2.1 Completed smallcheck-1.2.1 Starting vector-0.12.3.1 Building vector-0.12.3.1 Completed text-1.2.5.0 Starting distributive-0.6.2.1 Building distributive-0.6.2.1 Completed memory-0.16.0 Starting resourcet-1.2.4.3 Completed distributive-0.6.2.1 Starting transformers-base-0.4.6 Building resourcet-1.2.4.3 Building transformers-base-0.4.6 Completed transformers-base-0.4.6 Starting th-lift-0.8.2 Building th-lift-0.8.2 Completed random-1.2.1 Starting th-expand-syns-0.4.9.0 Building th-expand-syns-0.4.9.0 Completed resourcet-1.2.4.3 Starting base-compat-batteries-0.12.1 Building base-compat-batteries-0.12.1 Completed th-lift-0.8.2 Starting hspec-expectations-0.8.2 Building hspec-expectations-0.8.2 Completed th-expand-syns-0.4.9.0 Starting data-default-0.7.1.1 Building data-default-0.7.1.1 Completed hspec-expectations-0.8.2 Starting store-core-0.4.4.4 Completed data-default-0.7.1.1 Starting parsec-3.1.14.0 Building store-core-0.4.4.4 Building parsec-3.1.14.0 Completed base-compat-batteries-0.12.1 Starting hashable-1.3.3.0 Completed store-core-0.4.4.4 Starting cryptonite-0.29 Building hashable-1.3.3.0 Building cryptonite-0.29 Completed hashable-1.3.3.0 Starting comonad-5.0.8 Completed parsec-3.1.14.0 Starting monad-control-1.0.3.1 Building comonad-5.0.8 Building monad-control-1.0.3.1 Completed monad-control-1.0.3.1 Starting tf-random-0.5 Building tf-random-0.5 Completed comonad-5.0.8 Starting QuickCheck-2.14.2 Building QuickCheck-2.14.2 Completed tf-random-0.5 Starting th-reify-many-0.1.10 Building th-reify-many-0.1.10 Completed th-reify-many-0.1.10 Starting uuid-types-1.0.5 Building uuid-types-1.0.5 Completed uuid-types-1.0.5 Starting unordered-containers-0.2.14.0 Building unordered-containers-0.2.14.0 Completed vector-0.12.3.1 Starting time-compat-1.9.6.1 Building time-compat-1.9.6.1 Completed time-compat-1.9.6.1 Starting scientific-0.3.7.0 Building scientific-0.3.7.0 Completed unordered-containers-0.2.14.0 Starting data-fix-0.3.2 Completed QuickCheck-2.14.2 Starting case-insensitive-1.2.1.0 Building data-fix-0.3.2 Building case-insensitive-1.2.1.0 Completed scientific-0.3.7.0 Starting async-2.2.4 Building async-2.2.4 Completed case-insensitive-1.2.1.0 Starting lifted-base-0.2.3.12 Completed data-fix-0.3.2 Starting bifunctors-5.5.11 Building lifted-base-0.2.3.12 Building bifunctors-5.5.11 Completed async-2.2.4 Starting vector-algorithms-0.8.0.4 Building vector-algorithms-0.8.0.4 Completed lifted-base-0.2.3.12 Starting th-lift-instances-0.1.18 Building th-lift-instances-0.1.18 Completed th-lift-instances-0.1.18 Starting intern-0.9.4 Building intern-0.9.4 Completed intern-0.9.4 Starting indexed-traversable-instances-0.1.1 Building indexed-traversable-instances-0.1.1 Completed bifunctors-5.5.11 Starting rest-rewrite-0.1.1 Completed vector-algorithms-0.8.0.4 Starting quickcheck-io-0.2.0 Completed indexed-traversable-instances-0.1.1 Starting attoparsec-0.14.2 Building rest-rewrite-0.1.1 Building quickcheck-io-0.2.0 Building attoparsec-0.14.2 Completed quickcheck-io-0.2.0 Starting megaparsec-8.0.0 Building megaparsec-8.0.0 Completed attoparsec-0.14.2 Starting concurrent-output-1.10.12 Building concurrent-output-1.10.12 Completed megaparsec-8.0.0 Starting th-orphans-0.13.12 Building th-orphans-0.13.12 Completed rest-rewrite-0.1.1 Starting semigroupoids-5.3.6 Completed concurrent-output-1.10.12 Starting profunctors-5.6.2 Building semigroupoids-5.3.6 Building profunctors-5.6.2 Completed cryptonite-0.29 Starting assoc-1.0.2 Building assoc-1.0.2 Completed assoc-1.0.2 Starting mono-traversable-1.0.15.3 Building mono-traversable-1.0.15.3 Completed th-orphans-0.13.12 Starting witherable-0.4.2 Building witherable-0.4.2 Completed profunctors-5.6.2 Starting hspec-core-2.8.3 Building hspec-core-2.8.3 Completed semigroupoids-5.3.6 Starting ascii-progress-0.3.3.0 Building ascii-progress-0.3.3.0 Completed witherable-0.4.2 Starting cryptohash-0.11.9 Building cryptohash-0.11.9 Completed ascii-progress-0.3.3.0 Starting these-1.1.1.1 Building these-1.1.1.1 Completed cryptohash-0.11.9 Starting th-utilities-0.2.4.3 Completed these-1.1.1.1 Starting free-5.1.7 Building th-utilities-0.2.4.3 Completed mono-traversable-1.0.15.3 Starting strict-0.4.0.1 Building free-5.1.7 Building strict-0.4.0.1 Completed hspec-core-2.8.3 Starting semialign-1.2.0.1 Building semialign-1.2.0.1 Completed strict-0.4.0.1 Starting hspec-smallcheck-0.5.2 Completed th-utilities-0.2.4.3 Starting hspec-2.8.3 Building hspec-smallcheck-0.5.2 Building hspec-2.8.3 Completed semialign-1.2.0.1 Starting aeson-2.0.1.0 Building aeson-2.0.1.0 Completed hspec-smallcheck-0.5.2 Completed hspec-2.8.3 Completed free-5.1.7 Starting store-0.7.12 Building store-0.7.12 Completed aeson-2.0.1.0 Completed store-0.7.12 Downloading liquid-fixpoint-0.8.10.7 Downloaded liquid-fixpoint-0.8.10.7 Starting liquid-fixpoint-0.8.10.7 Building liquid-fixpoint-0.8.10.7 Completed liquid-fixpoint-0.8.10.7
Test log
No test log was submitted for this report.