Resolving dependencies...
Configuring Boolean-0.2.4...
Configuring NumInstances-1.4...
Building Boolean-0.2.4...
Building NumInstances-1.4...
Installed Boolean-0.2.4
Configuring base-compat-0.9.3...
Configuring base-orphans-0.6...
Installed NumInstances-1.4
Building base-compat-0.9.3...
Building base-orphans-0.6...
Configuring cabal-doctest-1.0.2...
Installed base-orphans-0.6
Building cabal-doctest-1.0.2...
Configuring bytestring-builder-0.10.8.1.0...
Installed base-compat-0.9.3
Building bytestring-builder-0.10.8.1.0...
Configuring call-stack-0.1.0...
Installed bytestring-builder-0.10.8.1.0
Building call-stack-0.1.0...
Configuring data-default-class-0.1.2.0...
Installed cabal-doctest-1.0.2
Building data-default-class-0.1.2.0...
Configuring dlist-0.8.0.3...
Installed call-stack-0.1.0
Building dlist-0.8.0.3...
Configuring fail-4.9.0.0...
Installed data-default-class-0.1.2.0
Building fail-4.9.0.0...
Configuring integer-logarithms-1.0.2...
Installed fail-4.9.0.0
Building integer-logarithms-1.0.2...
Configuring loop-0.3.0...
Installed dlist-0.8.0.3
Building loop-0.3.0...
Configuring mtl-2.2.1...
Installed integer-logarithms-1.0.2
Configuring multiset-0.3.3...
Installed loop-0.3.0
Building mtl-2.2.1...
Building multiset-0.3.3...
Configuring newtype-generics-0.5.1...
Installed multiset-0.3.3
Building newtype-generics-0.5.1...
Configuring old-locale-1.0.0.7...
Installed mtl-2.2.1
Building old-locale-1.0.0.7...
Configuring parallel-3.2.1.1...
Installed newtype-generics-0.5.1
Building parallel-3.2.1.1...
Configuring parser-combinators-0.2.0...
Installed old-locale-1.0.0.7
Building parser-combinators-0.2.0...
Configuring prelude-extras-0.4.0.3...
Installed parallel-3.2.1.1
Configuring prettyclass-1.0.0.0...
Installed parser-combinators-0.2.0
Building prelude-extras-0.4.0.3...
Building prettyclass-1.0.0.0...
Configuring primes-0.2.1.0...
Installed prettyclass-1.0.0.0
Building primes-0.2.1.0...
Configuring primitive-0.6.2.0...
Installed prelude-extras-0.4.0.3
Configuring reflection-2.1.2...
Installed primes-0.2.1.0
Building primitive-0.6.2.0...
Building reflection-2.1.2...
Configuring semigroups-0.18.3...
Installed reflection-2.1.2
Building semigroups-0.18.3...
Configuring stm-2.4.4.1...
Installed primitive-0.6.2.0
Building stm-2.4.4.1...
Configuring syb-0.7...
Installed semigroups-0.18.3
Building syb-0.7...
Configuring text-1.2.2.2...
Installed stm-2.4.4.1
Building text-1.2.2.2...
Configuring th-abstraction-0.2.6.0...
Installed syb-0.7
Building th-abstraction-0.2.6.0...
Configuring transformers-compat-0.5.1.4...
Installed th-abstraction-0.2.6.0
Building transformers-compat-0.5.1.4...
Configuring type-level-numbers-0.1.1.1...
Installed transformers-compat-0.5.1.4
Building type-level-numbers-0.1.1.1...
Configuring unbounded-delays-0.1.1.0...
Installed type-level-numbers-0.1.1.1
Building unbounded-delays-0.1.1.0...
Configuring universe-base-1.0.2.1...
Installed text-1.2.2.2
Configuring void-0.7.2...
Installed unbounded-delays-0.1.1.0
Building universe-base-1.0.2.1...
Building void-0.7.2...
Installed universe-base-1.0.2.1
Configuring heaps-0.3.5...
Configuring data-default-instances-containers-0.0.1...
Installed void-0.7.2
Building data-default-instances-containers-0.0.1...
Configuring data-default-instances-dlist-0.0.1...
Installed data-default-instances-containers-0.0.1
Building data-default-instances-dlist-0.0.1...
Configuring data-default-instances-old-locale-0.0.1...
Installed data-default-instances-dlist-0.0.1
Building heaps-0.3.5...
Building data-default-instances-old-locale-0.0.1...
Configuring MemoTrie-0.6.8...
Installed data-default-instances-old-locale-0.0.1
Building MemoTrie-0.6.8...
Warning: /tmp/pkgConf-heaps-0.31275373743387346491.5: Unrecognized field
dynamic-library-dirs on line 22
Configuring StateVar-1.1.0.4...
Installed heaps-0.3.5
Building StateVar-1.1.0.4...
Configuring vector-0.12.0.1...
Installed MemoTrie-0.6.8
Building vector-0.12.0.1...
Configuring exceptions-0.8.3...
Installed StateVar-1.1.0.4
Building exceptions-0.8.3...
Configuring queue-0.1.2...
Installed exceptions-0.8.3
Building queue-0.1.2...
Configuring hashable-1.2.6.1...
Installed queue-0.1.2
Building hashable-1.2.6.1...
Configuring tagged-0.8.5...
Installed hashable-1.2.6.1
Building tagged-0.8.5...
Configuring parsec-3.1.11...
Installed tagged-0.8.5
Building parsec-3.1.11...
Configuring universe-instances-base-1.0...
Installed parsec-3.1.11
Building universe-instances-base-1.0...
Installed universe-instances-base-1.0
Configuring data-default-0.7.1.1...
Building data-default-0.7.1.1...
Configuring vector-space-0.11...
Installed vector-0.12.0.1
Building vector-space-0.11...
Configuring contravariant-1.4...
Installed data-default-0.7.1.1
Building contravariant-1.4...
Configuring OptDir-0.0.3...
Installed contravariant-1.4
Building OptDir-0.0.3...
Configuring temporary-1.2.1.1...
Installed vector-space-0.11
Building temporary-1.2.1.1...
Configuring finite-field-0.8.0...
Installed OptDir-0.0.3
Configuring case-insensitive-1.2.0.10...
Installed temporary-1.2.1.1
Building finite-field-0.8.0...
Building case-insensitive-1.2.0.10...
Configuring extended-reals-0.2.2.0...
Installed case-insensitive-1.2.0.10
Configuring scientific-0.3.5.2...
Installed finite-field-0.8.0
Building extended-reals-0.2.2.0...
Building scientific-0.3.5.2...
Configuring unordered-containers-0.2.8.0...
Installed extended-reals-0.2.2.0
Building unordered-containers-0.2.8.0...
Configuring distributive-0.5.3...
Installed scientific-0.3.5.2
Building distributive-0.5.3...
Warning: /tmp/pkgConf-distributive-0.51034949299654887343.3: Unrecognized
field dynamic-library-dirs on line 22
Configuring parse-dimacs-1.3...
Installed distributive-0.5.3
Configuring universe-reverse-instances-1.0...
Installed unordered-containers-0.2.8.0
Building parse-dimacs-1.3...
Building universe-reverse-instances-1.0...
Installed parse-dimacs-1.3
Configuring vector-th-unbox-0.2.1.6...
Building vector-th-unbox-0.2.1.6...
Configuring attoparsec-0.13.2.0...
Installed universe-reverse-instances-1.0
Building attoparsec-0.13.2.0...
Configuring megaparsec-6.2.0...
Installed vector-th-unbox-0.2.1.6
Building megaparsec-6.2.0...
Configuring comonad-5.0.2...
Installed attoparsec-0.13.2.0
Building comonad-5.0.2...
Configuring intern-0.9.1.4...
Installed megaparsec-6.2.0
Building intern-0.9.1.4...
Warning: /tmp/pkgConf-comonad-5.0238962600776532036.2: Unrecognized field
dynamic-library-dirs on line 29
Installed comonad-5.0.2
Configuring math-functions-0.2.1.0...
Building math-functions-0.2.1.0...
Installed intern-0.9.1.4
Configuring pseudo-boolean-0.1.6.0...
Building pseudo-boolean-0.1.6.0...
Configuring bifunctors-5.4.2...
Installed pseudo-boolean-0.1.6.0
Building bifunctors-5.4.2...
Installed math-functions-0.2.1.0
Configuring mwc-random-0.13.6.0...
Building mwc-random-0.13.6.0...
Installed bifunctors-5.4.2
Configuring semigroupoids-5.2.1...
Configuring profunctors-5.2.1...
Installed mwc-random-0.13.6.0
Building profunctors-5.2.1...
Building semigroupoids-5.2.1...
Installed profunctors-5.2.1
Warning: /tmp/pkgConf-semigroupoids-5.26384220901943327684.1: Unrecognized
field dynamic-library-dirs on line 60
Installed semigroupoids-5.2.1
Configuring lattices-1.7...
Configuring free-4.12.4...
Building lattices-1.7...
Building free-4.12.4...
Installed lattices-1.7
Downloading sign-0.4.3...
Configuring data-interval-1.2.0...
Building data-interval-1.2.0...
Installed free-4.12.4
Configuring sign-0.4.3...
Configuring adjunctions-4.3...
Installed data-interval-1.2.0
Building sign-0.4.3...
Building adjunctions-4.3...
Installed sign-0.4.3
Downloading toysolver-0.4.0...
Configuring toysolver-0.4.0...
Building toysolver-0.4.0...
Installed adjunctions-4.3
Configuring kan-extensions-5.0.2...
Building kan-extensions-5.0.2...
Installed kan-extensions-5.0.2
Configuring lens-4.15.4...
Building lens-4.15.4...
Warning: /tmp/pkgConf-lens-4.152316024221389867269.4: Unrecognized field
dynamic-library-dirs on line 122
Installed lens-4.15.4
Configuring ersatz-0.4.1...
Building ersatz-0.4.1...
Warning: /tmp/pkgConf-ersatz-0.41253207672570073850.1: Unrecognized field
dynamic-library-dirs on line 90
Installed ersatz-0.4.1
Installed toysolver-0.4.0
Downloading ersatz-toysat-0.2.2.0...
Configuring ersatz-toysat-0.2.2.0...
Building ersatz-toysat-0.2.2.0...
Installed ersatz-toysat-0.2.2.0