Build #1 for toysolver-0.8.0
Package | toysolver-0.8.0 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2022-07-27 02:46:01.224867226 UTC |
---|---|
Compiler | ghc-8.10.2 |
OS | linux |
Arch | x86_64 |
Dependencies | MIP-0.1.1.0, OptDir-0.0.4, array-0.5.4.0, base-4.14.1.0, bytestring-0.10.10.0, bytestring-builder-0.10.8.2.0, bytestring-encoding-0.1.2.0, case-insensitive-1.2.1.0, clock-0.8.3, containers-0.6.2.1, data-default-0.7.1.1, data-default-class-0.1.2.0, data-interval-2.1.1, deepseq-1.4.4.0, directory-1.3.6.0, extended-reals-0.2.4.0, filepath-1.4.2.1, finite-field-0.10.0, ghc-prim-0.6.1, hashable-1.4.0.2, hashtables-1.3, heaps-0.4, intern-0.9.4, lattices-2.0.3, log-domain-0.13.2, loop-0.3.0, megaparsec-9.2.1, mtl-2.2.2, multiset-0.3.4.3, mwc-random-0.15.0.2, pretty-1.1.3.6, primes-0.2.1.0, primitive-0.7.4.0, process-1.6.9.0, pseudo-boolean-0.1.10.0, queue-0.1.2, scientific-0.3.7.0, semigroups-0.20, sign-0.4.4, stm-2.5.0.0, template-haskell-2.16.0.0, temporary-1.3, text-1.2.3.2, time-1.9.3, transformers-0.5.6.2, transformers-compat-0.7.2, unordered-containers-0.2.19.1, vector-0.12.3.1, vector-space-0.16, xml-conduit-1.9.1.1, zlib-0.6.3.0, base-4.14.1.0, containers-0.6.2.1, MIP-0.1.1.0, ansi-wl-pprint-0.6.9, base-4.14.1.0, bytestring-0.10.10.0, bytestring-builder-0.10.8.2.0, data-default-class-0.1.2.0, filepath-1.4.2.1, optparse-applicative-0.17.0.0, pseudo-boolean-0.1.10.0, scientific-0.3.7.0, text-1.2.3.2, base-4.14.1.0, containers-0.6.2.1, data-default-class-0.1.2.0, optparse-applicative-0.17.0.0, MIP-0.1.1.0, array-0.5.4.0, base-4.14.1.0, bytestring-0.10.10.0, clock-0.8.3, containers-0.6.2.1, data-default-class-0.1.2.0, filepath-1.4.2.1, megaparsec-9.2.1, mwc-random-0.15.0.2, optparse-applicative-0.17.0.0, pseudo-boolean-0.1.10.0, scientific-0.3.7.0, time-1.9.3, unbounded-delays-0.1.1.1, vector-0.12.3.1, base-4.14.1.0, containers-0.6.2.1, haskeline-0.8.0.1, intern-0.9.4, mtl-2.2.2, optparse-applicative-0.17.0.0, parsec-3.1.14.0, text-1.2.3.2, transformers-0.5.6.2, transformers-compat-0.7.2, MIP-0.1.1.0, OptDir-0.0.4, array-0.5.4.0, base-4.14.1.0, containers-0.6.2.1, data-default-class-0.1.2.0, filepath-1.4.2.1, optparse-applicative-0.17.0.0, pseudo-boolean-0.1.10.0, scientific-0.3.7.0 |
Flags | -buildmiscprograms -buildsampleprograms -buildtoyfmf -extraboundschecking -forcechar8 -linuxstatic -opencl usehaskeline withzlib |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Starting Boolean-0.2.4 Starting StateVar-1.2.2 Starting NumInstances-1.4 Starting base-compat-0.12.1 Building StateVar-1.2.2 Building Boolean-0.2.4 Building NumInstances-1.4 Building base-compat-0.12.1 Completed StateVar-1.2.2 Starting base-orphans-0.8.6 Building base-orphans-0.8.6 Completed Boolean-0.2.4 Starting blaze-builder-0.4.2.2 Building blaze-builder-0.4.2.2 Completed NumInstances-1.4 Starting bytestring-builder-0.10.8.2.0 Building bytestring-builder-0.10.8.2.0 Completed bytestring-builder-0.10.8.2.0 Starting bytestring-encoding-0.1.2.0 Building bytestring-encoding-0.1.2.0 Completed base-compat-0.12.1 Starting cabal-doctest-1.0.9 Completed blaze-builder-0.4.2.2 Starting cereal-0.5.8.2 Completed bytestring-encoding-0.1.2.0 Starting clock-0.8.3 Building cabal-doctest-1.0.9 Building cereal-0.5.8.2 Building clock-0.8.3 Completed base-orphans-0.8.6 Starting colour-2.3.6 Building colour-2.3.6 Completed cabal-doctest-1.0.9 Starting data-default-class-0.1.2.0 Completed clock-0.8.3 Starting dlist-1.0 Building data-default-class-0.1.2.0 Building dlist-1.0 Completed data-default-class-0.1.2.0 Starting heaps-0.4 Building heaps-0.4 Completed cereal-0.5.8.2 Starting indexed-traversable-0.1.2 Completed dlist-1.0 Starting integer-logarithms-1.0.3.1 Building indexed-traversable-0.1.2 Building integer-logarithms-1.0.3.1 Completed colour-2.3.6 Starting loop-0.3.0 Completed heaps-0.4 Starting multiset-0.3.4.3 Building loop-0.3.0 Building multiset-0.3.4.3 Completed integer-logarithms-1.0.3.1 Starting network-3.1.2.7 Completed loop-0.3.0 Starting newtype-generics-0.6.2 Building newtype-generics-0.6.2 Completed indexed-traversable-0.1.2 Starting old-locale-1.0.0.7 Completed newtype-generics-0.6.2 Starting parser-combinators-1.3.0 Building old-locale-1.0.0.7 Completed multiset-0.3.4.3 Starting primes-0.2.1.0 Building network-3.1.2.7 Building parser-combinators-1.3.0 Building primes-0.2.1.0 Completed old-locale-1.0.0.7 Starting primitive-0.7.4.0 Building primitive-0.7.4.0 Completed primes-0.2.1.0 Starting queue-0.1.2 Building queue-0.1.2 Completed parser-combinators-1.3.0 Starting semigroups-0.20 Building semigroups-0.20 Completed queue-0.1.2 Starting singletons-3.0.1 Building singletons-3.0.1 Completed semigroups-0.20 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 singletons-3.0.1 Starting syb-0.7.2.1 Building syb-0.7.2.1 Completed splitmix-0.1.0.4 Starting tagged-0.8.6.1 Completed network-3.1.2.7 Starting th-abstraction-0.4.4.0 Building tagged-0.8.6.1 Building th-abstraction-0.4.4.0 Completed syb-0.7.2.1 Starting transformers-compat-0.7.2 Building transformers-compat-0.7.2 Completed tagged-0.8.6.1 Starting unbounded-delays-0.1.1.1 Building unbounded-delays-0.1.1.1 Completed primitive-0.7.4.0 Starting unliftio-core-0.2.0.1 Completed unbounded-delays-0.1.1.1 Starting void-0.7.3 Building unliftio-core-0.2.0.1 Building void-0.7.3 Completed th-abstraction-0.4.4.0 Starting xml-types-0.3.8 Building xml-types-0.3.8 Completed void-0.7.3 Starting zlib-0.6.3.0 Completed unliftio-core-0.2.0.1 Starting contravariant-1.5.5 Completed transformers-compat-0.7.2 Starting blaze-markup-0.8.2.8 Building zlib-0.6.3.0 Building contravariant-1.5.5 Building blaze-markup-0.8.2.8 Completed xml-types-0.3.8 Starting hashable-1.4.0.2 Building hashable-1.4.0.2 Completed contravariant-1.5.5 Starting data-default-instances-containers-0.0.1 Building data-default-instances-containers-0.0.1 Completed blaze-markup-0.8.2.8 Starting data-default-instances-dlist-0.0.1 Building data-default-instances-dlist-0.0.1 Completed data-default-instances-containers-0.0.1 Starting ansi-terminal-0.11.3 Completed zlib-0.6.3.0 Starting MemoTrie-0.6.10 Building ansi-terminal-0.11.3 Completed data-default-instances-dlist-0.0.1 Starting data-default-instances-old-locale-0.0.1 Building MemoTrie-0.6.10 Building data-default-instances-old-locale-0.0.1 Completed data-default-instances-old-locale-0.0.1 Starting random-1.2.1.1 Completed hashable-1.4.0.2 Starting distributive-0.6.2.1 Building random-1.2.1.1 Building distributive-0.6.2.1 Completed MemoTrie-0.6.10 Starting vector-0.12.3.1 Building vector-0.12.3.1 Completed ansi-terminal-0.11.3 Starting resourcet-1.2.6 Building resourcet-1.2.6 Completed distributive-0.6.2.1 Starting blaze-html-0.9.1.2 Building blaze-html-0.9.1.2 Completed resourcet-1.2.6 Starting data-default-0.7.1.1 Building data-default-0.7.1.1 Completed data-default-0.7.1.1 Starting unordered-containers-0.2.19.1 Building unordered-containers-0.2.19.1 Completed random-1.2.1.1 Starting scientific-0.3.7.0 Building scientific-0.3.7.0 Completed scientific-0.3.7.0 Starting finite-field-0.10.0 Building finite-field-0.10.0 Completed finite-field-0.10.0 Starting extended-reals-0.2.4.0 Building extended-reals-0.2.4.0 Completed extended-reals-0.2.4.0 Starting case-insensitive-1.2.1.0 Completed unordered-containers-0.2.19.1 Starting async-2.2.4 Building case-insensitive-1.2.1.0 Completed blaze-html-0.9.1.2 Starting OptDir-0.0.4 Building async-2.2.4 Building OptDir-0.0.4 Completed case-insensitive-1.2.1.0 Starting OneTuple-0.3.1 Completed OptDir-0.0.4 Starting vector-space-0.16 Building OneTuple-0.3.1 Completed async-2.2.4 Starting ansi-wl-pprint-0.6.9 Building vector-space-0.16 Building ansi-wl-pprint-0.6.9 Completed OneTuple-0.3.1 Starting comonad-5.0.8 Building comonad-5.0.8 Completed ansi-wl-pprint-0.6.9 Starting temporary-1.3 Building temporary-1.3 Completed temporary-1.3 Starting QuickCheck-2.14.2 Completed vector-space-0.16 Starting attoparsec-0.14.4 Building QuickCheck-2.14.2 Building attoparsec-0.14.4 Completed comonad-5.0.8 Starting intern-0.9.4 Building intern-0.9.4 Completed intern-0.9.4 Starting megaparsec-9.2.1 Building megaparsec-9.2.1 Completed vector-0.12.3.1 Starting typed-process-0.2.10.1 Building typed-process-0.2.10.1 Completed attoparsec-0.14.4 Starting streaming-commons-0.2.2.4 Building streaming-commons-0.2.2.4 Completed typed-process-0.2.10.1 Starting universe-base-1.1.3 Building universe-base-1.1.3 Completed universe-base-1.1.3 Starting binary-orphans-1.0.2 Building binary-orphans-1.0.2 Completed binary-orphans-1.0.2 Starting optparse-applicative-0.17.0.0 Completed streaming-commons-0.2.2.4 Starting bifunctors-5.5.12 Building optparse-applicative-0.17.0.0 Completed megaparsec-9.2.1 Starting vector-algorithms-0.8.0.4 Building bifunctors-5.5.12 Building vector-algorithms-0.8.0.4 Completed QuickCheck-2.14.2 Starting math-functions-0.3.4.2 Building math-functions-0.3.4.2 Completed optparse-applicative-0.17.0.0 Starting hashtables-1.3 Building hashtables-1.3 Completed vector-algorithms-0.8.0.4 Starting universe-reverse-instances-1.1.1 Completed math-functions-0.3.4.2 Starting bytes-0.17.2 Building universe-reverse-instances-1.1.1 Building bytes-0.17.2 Completed bifunctors-5.5.12 Starting pseudo-boolean-0.1.10.0 Building pseudo-boolean-0.1.10.0 Completed universe-reverse-instances-1.1.1 Starting mono-traversable-1.0.15.3 Building mono-traversable-1.0.15.3 Completed pseudo-boolean-0.1.10.0 Starting mwc-random-0.15.0.2 Building mwc-random-0.15.0.2 Completed bytes-0.17.2 Starting semigroupoids-5.3.7 Completed hashtables-1.3 Building semigroupoids-5.3.7 Completed mwc-random-0.15.0.2 Completed mono-traversable-1.0.15.3 Starting conduit-1.3.4.2 Building conduit-1.3.4.2 Completed semigroupoids-5.3.7 Starting log-domain-0.13.2 Starting lattices-2.0.3 Building log-domain-0.13.2 Building lattices-2.0.3 Completed log-domain-0.13.2 Completed lattices-2.0.3 Starting sign-0.4.4 Starting data-interval-2.1.1 Completed conduit-1.3.4.2 Starting conduit-extra-1.3.6 Building data-interval-2.1.1 Building sign-0.4.4 Building conduit-extra-1.3.6 Completed sign-0.4.4 Completed conduit-extra-1.3.6 Starting xml-conduit-1.9.1.1 Completed data-interval-2.1.1 Building xml-conduit-1.9.1.1 Completed xml-conduit-1.9.1.1 Starting MIP-0.1.1.0 Building MIP-0.1.1.0 Completed MIP-0.1.1.0 Downloading toysolver-0.8.0 Downloaded toysolver-0.8.0 Starting toysolver-0.8.0 Building toysolver-0.8.0 Completed toysolver-0.8.0
Test log
No test log was submitted for this report.