Resolving dependencies... Starting StateVar-1.2.2 Starting OneTuple-0.3.1 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 colour-2.3.6 Building colour-2.3.6 Completed base-compat-0.12.2 Starting config-value-0.8.3 Building config-value-0.8.3 Completed bimap-0.5.0 Starting data-binary-ieee754-0.4.4 Building data-binary-ieee754-0.4.4 Completed bitwise-1.0.0.1 Starting data-default-class-0.1.2.0 Building data-default-class-0.1.2.0 Completed data-binary-ieee754-0.4.4 Starting dlist-1.0 Building dlist-1.0 Completed data-default-class-0.1.2.0 Starting fingertree-0.1.5.0 Building fingertree-0.1.5.0 Completed colour-2.3.6 Starting hashable-1.3.5.0 Building hashable-1.3.5.0 Completed config-value-0.8.3 Starting ieee754-0.8.0 Completed dlist-1.0 Starting indexed-traversable-0.1.2 Building ieee754-0.8.0 Building indexed-traversable-0.1.2 Completed hashable-1.3.5.0 Starting integer-logarithms-1.0.3.1 Completed fingertree-0.1.5.0 Starting language-c99-0.2.0 Building integer-logarithms-1.0.3.1 Building language-c99-0.2.0 Completed ieee754-0.8.0 Starting network-3.1.2.7 Completed integer-logarithms-1.0.3.1 Starting old-locale-1.0.0.7 Completed indexed-traversable-0.1.2 Starting parallel-3.2.2.0 Building old-locale-1.0.0.7 Building parallel-3.2.2.0 Building network-3.1.2.7 Completed language-c99-0.2.0 Starting parser-combinators-1.3.0 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 Building tagged-0.8.6.1 Completed semigroups-0.20 Starting th-abstraction-0.4.4.0 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 Completed unbounded-delays-0.1.1.1 Starting xml-1.3.14 Building void-0.7.3 Building xml-1.3.14 Completed transformers-compat-0.7.2 Starting zenc-0.1.2 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 ansi-terminal-0.11.3 Completed gitrev-1.3.1 Starting data-default-instances-dlist-0.0.1 Building ansi-terminal-0.11.3 Building data-default-instances-dlist-0.0.1 Completed zlib-0.6.3.0 Downloading copilot-core-3.11 Downloaded copilot-core-3.11 Starting copilot-core-3.11 Completed data-default-instances-containers-0.0.1 Starting unordered-containers-0.2.19.1 Building copilot-core-3.11 Building unordered-containers-0.2.19.1 Completed data-default-instances-dlist-0.0.1 Starting libBF-0.6.5.1 Building libBF-0.6.5.1 Completed ansi-terminal-0.11.3 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 language-c99-util-0.2.0 Building language-c99-util-0.2.0 Completed libBF-0.6.5.1 Starting data-default-instances-old-locale-0.0.1 Building data-default-instances-old-locale-0.0.1 Completed async-2.2.4 Starting random-1.2.1.1 Building random-1.2.1.1 Completed unordered-containers-0.2.19.1 Starting vector-0.12.3.1 Building vector-0.12.3.1 Completed language-c99-util-0.2.0 Starting scientific-0.3.7.0 Completed data-default-instances-old-locale-0.0.1 Starting distributive-0.6.2.1 Building scientific-0.3.7.0 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 concurrent-extra-0.7.0.12 Building concurrent-extra-0.7.0.12 Completed random-1.2.1.1 Starting transformers-base-0.4.6 Completed th-lift-0.8.2 Starting deriving-compat-0.6.1 Building transformers-base-0.4.6 Building deriving-compat-0.6.1 Completed concurrent-extra-0.7.0.12 Starting constraints-0.13.4 Building constraints-0.13.4 Completed transformers-base-0.4.6 Starting panic-0.4.0.1 Building panic-0.4.0.1 Completed panic-0.4.0.1 Starting zlib-bindings-0.1.1.5 Building zlib-bindings-0.1.1.5 Completed constraints-0.13.4 Starting ansi-wl-pprint-0.6.9 Building ansi-wl-pprint-0.6.9 Completed deriving-compat-0.6.1 Downloading copilot-interpreter-3.11 Downloaded copilot-interpreter-3.11 Starting copilot-interpreter-3.11 Building copilot-interpreter-3.11 Completed zlib-bindings-0.1.1.5 Starting data-reify-0.6.3 Building data-reify-0.6.3 Completed ansi-wl-pprint-0.6.9 Starting language-c99-simple-0.2.2 Building language-c99-simple-0.2.2 Completed copilot-interpreter-3.11 Starting data-default-0.7.1.1 Building data-default-0.7.1.1 Completed data-reify-0.6.3 Starting comonad-5.0.8 Building comonad-5.0.8 Completed data-default-0.7.1.1 Starting megaparsec-9.2.2 Completed language-c99-simple-0.2.2 Starting attoparsec-0.14.4 Building megaparsec-9.2.2 Building attoparsec-0.14.4 Completed vector-0.12.3.1 Starting temporary-1.3 Building temporary-1.3 Completed comonad-5.0.8 Starting optparse-applicative-0.17.0.0 Building optparse-applicative-0.17.0.0 Completed temporary-1.3 Downloading copilot-c99-3.11 Downloaded copilot-c99-3.11 Starting copilot-c99-3.11 Building copilot-c99-3.11 Completed copilot-c99-3.11 Starting th-lift-instances-0.1.20 Building th-lift-instances-0.1.20 Completed optparse-applicative-0.17.0.0 Starting indexed-traversable-instances-0.1.1.1 Completed megaparsec-9.2.2 Starting hashtables-1.2.4.2 Building indexed-traversable-instances-0.1.1.1 Building hashtables-1.2.4.2 Completed attoparsec-0.14.4 Starting bifunctors-5.5.12 Building bifunctors-5.5.12 Completed th-lift-instances-0.1.20 Starting versions-5.0.3 Building versions-5.0.3 Completed indexed-traversable-instances-0.1.1.1 Starting io-streams-1.5.2.2 Building io-streams-1.5.2.2 Completed hashtables-1.2.4.2 Completed versions-5.0.3 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 these-1.1.1.1 Starting strict-0.4.0.1 Completed profunctors-5.6.2 Starting invariant-0.6 Building strict-0.4.0.1 Building invariant-0.6 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 Downloading copilot-theorem-3.11 Downloaded copilot-theorem-3.11 Starting copilot-theorem-3.11 Building copilot-theorem-3.11 Completed copilot-theorem-3.11 Downloading copilot-language-3.11 Downloaded copilot-language-3.11 Starting copilot-language-3.11 Building copilot-language-3.11 Completed copilot-language-3.11 Downloading copilot-libraries-3.11 Downloaded copilot-libraries-3.11 Starting copilot-libraries-3.11 Building copilot-libraries-3.11 Completed copilot-libraries-3.11 Downloading copilot-3.11 Downloaded copilot-3.11 Starting copilot-3.11 Building copilot-3.11 Completed copilot-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