Resolving dependencies... Starting StateVar-1.2.2 Starting Diff-0.4.1 Starting base-orphans-0.8.6 Starting base-compat-0.12.1 Building StateVar-1.2.2 Building Diff-0.4.1 Building base-orphans-0.8.6 Building base-compat-0.12.1 Completed StateVar-1.2.2 Starting base64-bytestring-1.2.1.0 Building base64-bytestring-1.2.1.0 Completed Diff-0.4.1 Starting basement-0.0.14 Building basement-0.0.14 Completed base64-bytestring-1.2.1.0 Starting byteable-0.1.1 Building byteable-0.1.1 Completed base-orphans-0.8.6 Starting call-stack-0.4.0 Building call-stack-0.4.0 Completed base-compat-0.12.1 Starting cereal-0.5.8.2 Completed byteable-0.1.1 Starting clock-0.8.3 Building cereal-0.5.8.2 Building clock-0.8.3 Completed call-stack-0.4.0 Starting cmdargs-0.10.21 Building cmdargs-0.10.21 Completed clock-0.8.3 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 fingertree-0.1.5.0 Building fingertree-0.1.5.0 Completed fgl-5.7.0.3 Starting hscolour-1.24.4 Completed cmdargs-0.10.21 Starting hspec-discover-2.10.0 Building hscolour-1.24.4 Completed fingertree-0.1.5.0 Starting indexed-profunctors-0.1.1 Building hspec-discover-2.10.0 Building indexed-profunctors-0.1.1 Completed hspec-discover-2.10.0 Starting indexed-traversable-0.1.2 Building indexed-traversable-0.1.2 Completed indexed-profunctors-0.1.1 Starting integer-logarithms-1.0.3.1 Building integer-logarithms-1.0.3.1 Completed integer-logarithms-1.0.3.1 Starting logict-0.8.0.0 Building logict-0.8.0.0 Completed hscolour-1.24.4 Starting monad-loops-0.4.3 Building monad-loops-0.4.3 Completed indexed-traversable-0.1.2 Starting nats-1.1.2 Building nats-1.1.2 Completed nats-1.1.2 Starting network-3.1.2.7 Completed monad-loops-0.4.3 Starting old-locale-1.0.0.7 Completed logict-0.8.0.0 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.7 Completed parallel-3.2.2.0 Starting primitive-0.7.4.0 Building primitive-0.7.4.0 Completed basement-0.0.14 Starting safe-0.3.19 Completed parser-combinators-1.3.0 Starting setenv-0.1.1.3 Building safe-0.3.19 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 split-0.2.3.4 Starting splitmix-0.1.0.4 Completed safe-0.3.19 Starting syb-0.7.2.1 Building splitmix-0.1.0.4 Building syb-0.7.2.1 Completed splitmix-0.1.0.4 Starting tagged-0.8.6.1 Building tagged-0.8.6.1 Completed network-3.1.2.7 Starting terminal-size-0.3.3 Building terminal-size-0.3.3 Completed syb-0.7.2.1 Starting text-1.2.5.0 Building text-1.2.5.0 Completed terminal-size-0.3.3 Starting th-abstraction-0.4.3.0 Completed tagged-0.8.6.1 Starting th-compat-0.1.3 Building th-abstraction-0.4.3.0 Building th-compat-0.1.3 Completed primitive-0.7.4.0 Starting transformers-compat-0.6.6 Building transformers-compat-0.6.6 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 utility-ht-0.0.16 Completed transformers-compat-0.6.6 Starting void-0.7.3 Building utility-ht-0.0.16 Completed th-abstraction-0.4.3.0 Starting contravariant-1.5.5 Building void-0.7.3 Building contravariant-1.5.5 Completed void-0.7.3 Starting OneTuple-0.3 Building OneTuple-0.3 Completed contravariant-1.5.5 Starting gitrev-1.3.1 Completed OneTuple-0.3 Starting HUnit-1.6.2.0 Building gitrev-1.3.1 Building HUnit-1.6.2.0 Completed utility-ht-0.0.16 Starting extra-1.7.10 Building extra-1.7.10 Completed gitrev-1.3.1 Starting data-default-instances-containers-0.0.1 Building data-default-instances-containers-0.0.1 Completed HUnit-1.6.2.0 Starting ansi-terminal-0.11.3 Completed data-default-instances-containers-0.0.1 Starting data-default-instances-dlist-0.0.1 Building ansi-terminal-0.11.3 Building data-default-instances-dlist-0.0.1 Completed data-default-instances-dlist-0.0.1 Starting optics-core-0.4.1 Building optics-core-0.4.1 Completed extra-1.7.10 Starting smallcheck-1.2.1 Completed ansi-terminal-0.11.3 Starting data-default-instances-old-locale-0.0.1 Building smallcheck-1.2.1 Building data-default-instances-old-locale-0.0.1 Completed text-1.2.5.0 Starting memory-0.17.0 Completed data-default-instances-old-locale-0.0.1 Starting boxes-0.1.5 Building memory-0.17.0 Building boxes-0.1.5 Completed boxes-0.1.5 Starting random-1.2.1.1 Building random-1.2.1.1 Completed smallcheck-1.2.1 Starting distributive-0.6.2.1 Building distributive-0.6.2.1 Completed distributive-0.6.2.1 Starting vector-0.12.3.1 Building vector-0.12.3.1 Completed memory-0.17.0 Starting githash-0.1.6.2 Building githash-0.1.6.2 Completed githash-0.1.6.2 Starting resourcet-1.2.5 Completed random-1.2.1.1 Starting transformers-base-0.4.6 Building resourcet-1.2.5 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 optics-core-0.4.1 Starting th-expand-syns-0.4.9.0 Building th-expand-syns-0.4.9.0 Completed resourcet-1.2.5 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 Completed th-expand-syns-0.4.9.0 Starting ansi-wl-pprint-0.6.9 Building hspec-expectations-0.8.2 Building ansi-wl-pprint-0.6.9 Completed hspec-expectations-0.8.2 Starting store-core-0.4.4.4 Building store-core-0.4.4.4 Completed ansi-wl-pprint-0.6.9 Starting parsec-3.1.15.1 Building parsec-3.1.15.1 Completed base-compat-batteries-0.12.1 Starting hashable-1.3.3.0 Building hashable-1.3.3.0 Completed store-core-0.4.4.4 Starting data-default-0.7.1.1 Building data-default-0.7.1.1 Completed data-default-0.7.1.1 Starting comonad-5.0.8 Building comonad-5.0.8 Completed hashable-1.3.3.0 Starting cryptonite-0.30 Building cryptonite-0.30 Completed parsec-3.1.15.1 Starting tf-random-0.5 Building tf-random-0.5 Completed comonad-5.0.8 Starting temporary-1.3 Building temporary-1.3 Completed temporary-1.3 Starting probability-0.2.7 Completed tf-random-0.5 Starting QuickCheck-2.14.2 Building probability-0.2.7 Building QuickCheck-2.14.2 Completed probability-0.2.7 Starting monad-control-1.0.3.1 Building monad-control-1.0.3.1 Completed monad-control-1.0.3.1 Starting optics-th-0.4.1 Building optics-th-0.4.1 Completed vector-0.12.3.1 Starting th-reify-many-0.1.10 Building th-reify-many-0.1.10 Completed th-reify-many-0.1.10 Starting optparse-applicative-0.15.1.0 Building optparse-applicative-0.15.1.0 Completed optics-th-0.4.1 Starting uuid-types-1.0.5 Building uuid-types-1.0.5 Completed QuickCheck-2.14.2 Starting unordered-containers-0.2.19.1 Completed uuid-types-1.0.5 Building unordered-containers-0.2.19.1 Starting time-compat-1.9.6.1 Building time-compat-1.9.6.1 Completed optparse-applicative-0.15.1.0 Starting scientific-0.3.7.0 Building scientific-0.3.7.0 Completed time-compat-1.9.6.1 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 Building case-insensitive-1.2.1.0 Completed data-fix-0.3.2 Starting async-2.2.4 Completed case-insensitive-1.2.1.0 Starting Cabal-3.4.1.0 Building async-2.2.4 Building Cabal-3.4.1.0 Completed async-2.2.4 Starting bifunctors-5.5.12 Completed unordered-containers-0.2.19.1 Starting lifted-base-0.2.3.12 Building bifunctors-5.5.12 Building lifted-base-0.2.3.12 Completed lifted-base-0.2.3.12 Starting vector-algorithms-0.8.0.4 Building vector-algorithms-0.8.0.4 Completed bifunctors-5.5.12 Starting th-lift-instances-0.1.19 Building th-lift-instances-0.1.19 Completed vector-algorithms-0.8.0.4 Starting quickcheck-io-0.2.0 Building quickcheck-io-0.2.0 Completed th-lift-instances-0.1.19 Starting optparse-simple-0.1.1.4 Building optparse-simple-0.1.1.4 Completed quickcheck-io-0.2.0 Starting attoparsec-0.14.4 Building attoparsec-0.14.4 Completed optparse-simple-0.1.1.4 Starting megaparsec-8.0.0 Building megaparsec-8.0.0 Completed cryptonite-0.30 Starting concurrent-output-1.10.16 Building concurrent-output-1.10.16 Completed attoparsec-0.14.4 Starting rest-rewrite-0.1.1 Building rest-rewrite-0.1.1 Completed megaparsec-8.0.0 Starting intern-0.9.4 Building intern-0.9.4 Completed concurrent-output-1.10.16 Starting indexed-traversable-instances-0.1.1 Building indexed-traversable-instances-0.1.1 Completed indexed-traversable-instances-0.1.1 Starting semigroupoids-5.3.7 Completed intern-0.9.4 Starting profunctors-5.6.2 Building semigroupoids-5.3.7 Building profunctors-5.6.2 Completed rest-rewrite-0.1.1 Starting assoc-1.0.2 Building assoc-1.0.2 Completed profunctors-5.6.2 Starting mono-traversable-1.0.15.3 Completed assoc-1.0.2 Starting th-orphans-0.13.13 Building mono-traversable-1.0.15.3 Building th-orphans-0.13.13 Completed semigroupoids-5.3.7 Starting hspec-core-2.10.0 Building hspec-core-2.10.0 Completed th-orphans-0.13.13 Starting cryptohash-0.11.9 Building cryptohash-0.11.9 Completed mono-traversable-1.0.15.3 Starting ascii-progress-0.3.3.0 Completed cryptohash-0.11.9 Starting witherable-0.4.2 Building ascii-progress-0.3.3.0 Building witherable-0.4.2 Completed hspec-core-2.10.0 Starting optics-extra-0.4.2.1 Building optics-extra-0.4.2.1 Completed ascii-progress-0.3.3.0 Starting these-1.1.1.1 Building these-1.1.1.1 Completed witherable-0.4.2 Starting free-5.1.8 Building free-5.1.8 Completed these-1.1.1.1 Starting th-utilities-0.2.4.3 Building th-utilities-0.2.4.3 Completed optics-extra-0.4.2.1 Starting hspec-smallcheck-0.5.3 Building hspec-smallcheck-0.5.3 Completed hspec-smallcheck-0.5.3 Starting hspec-2.10.0 Building hspec-2.10.0 Completed th-utilities-0.2.4.3 Starting strict-0.4.0.1 Building strict-0.4.0.1 Completed hspec-2.10.0 Starting semialign-1.2.0.1 Building semialign-1.2.0.1 Completed strict-0.4.0.1 Starting optics-0.4.2 Building optics-0.4.2 Completed semialign-1.2.0.1 Starting aeson-2.0.1.0 Building aeson-2.0.1.0 Completed free-5.1.8 Starting store-0.7.15 Completed optics-0.4.2 Starting recursion-schemes-5.2.2 Building store-0.7.15 Building recursion-schemes-5.2.2 Completed recursion-schemes-5.2.2 Completed aeson-2.0.1.0 Completed store-0.7.15 Starting liquid-fixpoint-0.8.10.7 Building liquid-fixpoint-0.8.10.7 Completed Cabal-3.4.1.0 Starting ghc-paths-0.1.0.12 Building ghc-paths-0.1.0.12 Completed ghc-paths-0.1.0.12 Completed liquid-fixpoint-0.8.10.7 Starting liquidhaskell-0.8.10.7 Building liquidhaskell-0.8.10.7 Completed liquidhaskell-0.8.10.7 Starting liquid-ghc-prim-0.6.1 Building liquid-ghc-prim-0.6.1 Failed to install liquid-ghc-prim-0.6.1 Build log ( /home/builder/.cabal/logs/ghc-8.10.2/liquid-ghc-prim-0.6.1-8QKYA8qlqP8JpTnVjJsycx.log ): cabal: Entering directory '/tmp/cabal-tmp-4945/liquid-ghc-prim-0.6.1' [1 of 1] Compiling Main ( /tmp/cabal-tmp-4945/liquid-ghc-prim-0.6.1/dist/setup/setup.hs, /tmp/cabal-tmp-4945/liquid-ghc-prim-0.6.1/dist/setup/Main.o ) Linking /tmp/cabal-tmp-4945/liquid-ghc-prim-0.6.1/dist/setup/setup ... Configuring liquid-ghc-prim-0.6.1... Preprocessing library for liquid-ghc-prim-0.6.1.. Building library for liquid-ghc-prim-0.6.1.. ghc: panic! (the 'impossible' happened) (GHC version 8.10.2: Uh oh. LiquidHaskell requires an SMT Solver, i.e. z3, cvc4, or mathsat to be installed. Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug cabal: Leaving directory '/tmp/cabal-tmp-4945/liquid-ghc-prim-0.6.1' cabal: Error: some packages failed to install: liquid-base-4.14.1.0-1Ft8enO8pKqA4NuVHIzzUN depends on liquid-base-4.14.1.0 which failed to install. liquid-containers-0.6.2.1-EMPY5hkfcpR5c0rEPXyUsF depends on liquid-containers-0.6.2.1 which failed to install. liquid-ghc-prim-0.6.1-8QKYA8qlqP8JpTnVjJsycx failed during the building phase. The exception was: ExitFailure 1 liquid-prelude-0.8.10.2-9CUg3NjUQE4Bwd795S8AIs depends on liquid-prelude-0.8.10.2 which failed to install. safe-coupling-0.1.0.1-DZ6zhFMmiAeFNakRO21SAn depends on safe-coupling-0.1.0.1 which failed to install.