Resolving dependencies... Starting OneTuple-0.3.1 Starting StateVar-1.2.2 Starting base-orphans-0.8.7 Starting base-compat-0.12.2 Building StateVar-1.2.2 Building base-orphans-0.8.7 Building OneTuple-0.3.1 Building base-compat-0.12.2 Completed base-orphans-0.8.7 Starting bimap-0.5.0 Building bimap-0.5.0 Completed StateVar-1.2.2 Starting bitwise-1.0.0.1 Completed OneTuple-0.3.1 Starting call-stack-0.4.0 Building bitwise-1.0.0.1 Building call-stack-0.4.0 Completed call-stack-0.4.0 Starting config-value-0.8.3 Building config-value-0.8.3 Completed base-compat-0.12.2 Starting data-binary-ieee754-0.4.4 Building data-binary-ieee754-0.4.4 Completed bimap-0.5.0 Starting data-default-class-0.1.2.0 Building data-default-class-0.1.2.0 Completed bitwise-1.0.0.1 Starting dlist-1.0 Building dlist-1.0 Completed data-default-class-0.1.2.0 Starting fingertree-0.1.5.0 Completed data-binary-ieee754-0.4.4 Starting hashable-1.3.5.0 Building fingertree-0.1.5.0 Building hashable-1.3.5.0 Completed dlist-1.0 Starting indexed-traversable-0.1.2 Building indexed-traversable-0.1.2 Completed config-value-0.8.3 Starting integer-logarithms-1.0.3.1 Building integer-logarithms-1.0.3.1 Completed hashable-1.3.5.0 Starting network-3.1.2.7 Completed fingertree-0.1.5.0 Starting old-locale-1.0.0.7 Building old-locale-1.0.0.7 Completed integer-logarithms-1.0.3.1 Starting parallel-3.2.2.0 Building parallel-3.2.2.0 Completed indexed-traversable-0.1.2 Starting parser-combinators-1.3.0 Building network-3.1.2.7 Building parser-combinators-1.3.0 Completed old-locale-1.0.0.7 Starting prettyprinter-1.7.1 Building prettyprinter-1.7.1 Completed parallel-3.2.2.0 Starting primitive-0.7.4.0 Building primitive-0.7.4.0 Completed parser-combinators-1.3.0 Starting reflection-2.1.6 Building reflection-2.1.6 Completed prettyprinter-1.7.1 Starting semigroups-0.20 Building semigroups-0.20 Completed reflection-2.1.6 Starting splitmix-0.1.0.4 Building splitmix-0.1.0.4 Completed network-3.1.2.7 Starting tagged-0.8.6.1 Completed semigroups-0.20 Starting th-abstraction-0.4.4.0 Building tagged-0.8.6.1 Building th-abstraction-0.4.4.0 Completed splitmix-0.1.0.4 Starting transformers-compat-0.7.2 Building transformers-compat-0.7.2 Completed primitive-0.7.4.0 Starting type-equality-1 Building type-equality-1 Completed tagged-0.8.6.1 Starting unbounded-delays-0.1.1.1 Building unbounded-delays-0.1.1.1 Completed type-equality-1 Starting utf8-string-1.0.2 Building utf8-string-1.0.2 Completed th-abstraction-0.4.4.0 Starting void-0.7.3 Building void-0.7.3 Completed transformers-compat-0.7.2 Starting xml-1.3.14 Completed unbounded-delays-0.1.1.1 Starting zenc-0.1.2 Building xml-1.3.14 Building zenc-0.1.2 Completed void-0.7.3 Starting zlib-0.6.3.0 Building zlib-0.6.3.0 Completed zenc-0.1.2 Starting contravariant-1.5.5 Building contravariant-1.5.5 Completed utf8-string-1.0.2 Starting gitrev-1.3.1 Building gitrev-1.3.1 Completed xml-1.3.14 Starting data-default-instances-containers-0.0.1 Building data-default-instances-containers-0.0.1 Completed contravariant-1.5.5 Starting data-default-instances-dlist-0.0.1 Building data-default-instances-dlist-0.0.1 Completed gitrev-1.3.1 Starting copilot-core-3.11 Building copilot-core-3.11 Completed zlib-0.6.3.0 Starting unordered-containers-0.2.19.1 Building unordered-containers-0.2.19.1 Completed data-default-instances-containers-0.0.1 Starting libBF-0.6.5.1 Building libBF-0.6.5.1 Completed data-default-instances-dlist-0.0.1 Starting case-insensitive-1.2.1.0 Building case-insensitive-1.2.1.0 Completed copilot-core-3.11 Starting async-2.2.4 Building async-2.2.4 Completed case-insensitive-1.2.1.0 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 random-1.2.1.1 Completed libBF-0.6.5.1 Starting vector-0.12.3.1 Building random-1.2.1.1 Building vector-0.12.3.1 Completed async-2.2.4 Starting scientific-0.3.7.0 Building scientific-0.3.7.0 Completed unordered-containers-0.2.19.1 Starting distributive-0.6.2.1 Building distributive-0.6.2.1 Completed distributive-0.6.2.1 Starting th-lift-0.8.2 Building th-lift-0.8.2 Completed scientific-0.3.7.0 Starting transformers-base-0.4.6 Building transformers-base-0.4.6 Completed random-1.2.1.1 Starting deriving-compat-0.6.1 Building deriving-compat-0.6.1 Completed transformers-base-0.4.6 Starting constraints-0.13.4 Building constraints-0.13.4 Completed th-lift-0.8.2 Starting concurrent-extra-0.7.0.12 Building concurrent-extra-0.7.0.12 Completed concurrent-extra-0.7.0.12 Starting panic-0.4.0.1 Building panic-0.4.0.1 Completed constraints-0.13.4 Starting zlib-bindings-0.1.1.5 Completed panic-0.4.0.1 Starting copilot-interpreter-3.11 Building zlib-bindings-0.1.1.5 Building copilot-interpreter-3.11 Completed deriving-compat-0.6.1 Starting data-default-0.7.1.1 Building data-default-0.7.1.1 Completed copilot-interpreter-3.11 Starting data-reify-0.6.3 Building data-reify-0.6.3 Completed zlib-bindings-0.1.1.5 Starting comonad-5.0.8 Building comonad-5.0.8 Completed data-default-0.7.1.1 Starting megaparsec-9.2.2 Building megaparsec-9.2.2 Completed data-reify-0.6.3 Starting attoparsec-0.14.4 Building attoparsec-0.14.4 Completed vector-0.12.3.1 Starting temporary-1.3 Completed comonad-5.0.8 Starting th-lift-instances-0.1.20 Building temporary-1.3 Building th-lift-instances-0.1.20 Completed temporary-1.3 Starting indexed-traversable-instances-0.1.1.1 Building indexed-traversable-instances-0.1.1.1 Completed th-lift-instances-0.1.20 Starting hashtables-1.2.4.2 Building hashtables-1.2.4.2 Completed megaparsec-9.2.2 Starting bifunctors-5.5.12 Building bifunctors-5.5.12 Completed indexed-traversable-instances-0.1.1.1 Starting versions-5.0.3 Building versions-5.0.3 Completed attoparsec-0.14.4 Starting io-streams-1.5.2.2 Building io-streams-1.5.2.2 Completed versions-5.0.3 Completed hashtables-1.2.4.2 Completed bifunctors-5.5.12 Starting assoc-1.0.2 Starting profunctors-5.6.2 Starting semigroupoids-5.3.7 Building assoc-1.0.2 Building profunctors-5.6.2 Building semigroupoids-5.3.7 Completed io-streams-1.5.2.2 Completed assoc-1.0.2 Starting these-1.1.1.1 Building these-1.1.1.1 Completed profunctors-5.6.2 Starting invariant-0.6 Completed these-1.1.1.1 Starting strict-0.4.0.1 Building invariant-0.6 Building strict-0.4.0.1 Completed semigroupoids-5.3.7 Starting free-5.1.9 Building free-5.1.9 Completed strict-0.4.0.1 Completed invariant-0.6 Completed free-5.1.9 Starting adjunctions-4.4.2 Building adjunctions-4.4.2 Completed adjunctions-4.4.2 Starting kan-extensions-5.2.5 Building kan-extensions-5.2.5 Completed kan-extensions-5.2.5 Starting lens-5.1.1 Building lens-5.1.1 Completed lens-5.1.1 Starting parameterized-utils-2.1.5.0 Building parameterized-utils-2.1.5.0 Completed parameterized-utils-2.1.5.0 Starting bv-sized-1.0.4 Building bv-sized-1.0.4 Completed bv-sized-1.0.4 Starting what4-1.3 Building what4-1.3 Completed what4-1.3 Starting copilot-theorem-3.11 Building copilot-theorem-3.11 Completed copilot-theorem-3.11 Starting copilot-language-3.11 Building copilot-language-3.11 Completed copilot-language-3.11 Starting copilot-libraries-3.11 Building copilot-libraries-3.11 Completed copilot-libraries-3.11 Warning: could not create symlinks in /home/builder/.cabal/bin for bf-test, quickstart because the files exist there already and are not managed by cabal. You can create symlinks for these executables manually if you wish. The executable files have been installed at /home/builder/hackage-server/build-cache/tmp-install/bin/bf-test, /home/builder/hackage-server/build-cache/tmp-install/bin/quickstart