Resolving dependencies...
Starting     data-lens-light-0.1.2.2
Starting     cabal-doctest-1.0.8
Starting     base-orphans-0.8.2
Starting     dlist-1.0
Building     data-lens-light-0.1.2.2
Building     cabal-doctest-1.0.8
Building     base-orphans-0.8.2
Building     dlist-1.0
Completed    data-lens-light-0.1.2.2
Starting     hashable-1.3.0.0
Completed    cabal-doctest-1.0.8
Starting     integer-logarithms-1.0.3
Building     hashable-1.3.0.0
Building     integer-logarithms-1.0.3
Completed    dlist-1.0
Starting     old-locale-1.0.0.7
Completed    base-orphans-0.8.2
Starting     primitive-0.7.1.0
Building     old-locale-1.0.0.7
Building     primitive-0.7.1.0
Completed    integer-logarithms-1.0.3
Starting     semigroups-0.19.1
Building     semigroups-0.19.1
Completed    old-locale-1.0.0.7
Starting     splitmix-0.1.0.1
Building     splitmix-0.1.0.1
Completed    hashable-1.3.0.0
Starting     spoon-0.3.1
Building     spoon-0.3.1
Completed    semigroups-0.19.1
Starting     tagged-0.8.6
Building     tagged-0.8.6
Completed    spoon-0.3.1
Starting     th-abstraction-0.3.2.0
Completed    splitmix-0.1.0.1
Starting     transformers-compat-0.6.5
Building     th-abstraction-0.3.2.0
Building     transformers-compat-0.6.5
Completed    tagged-0.8.6
Starting     type-equality-1
Building     type-equality-1
Completed    type-equality-1
Starting     uglymemo-0.1.0.1
Completed    transformers-compat-0.6.5
Starting     time-compat-1.9.3
Building     uglymemo-0.1.0.1
Building     time-compat-1.9.3
Completed    th-abstraction-0.3.2.0
Starting     old-time-1.1.0.3
Completed    uglymemo-0.1.0.1
Starting     unordered-containers-0.2.12.0
Building     unordered-containers-0.2.12.0
Building     old-time-1.1.0.3
Completed    time-compat-1.9.3
Starting     data-fix-0.3.0
Building     data-fix-0.3.0
Completed    primitive-0.7.1.0
Starting     case-insensitive-1.2.1.0
Building     case-insensitive-1.2.1.0
Completed    old-time-1.1.0.3
Starting     random-1.2.0
Building     random-1.2.0
Completed    data-fix-0.3.0
Starting     distributive-0.6.2
Completed    case-insensitive-1.2.1.0
Starting     constraints-0.12
Building     constraints-0.12
Building     distributive-0.6.2
Completed    unordered-containers-0.2.12.0
Starting     vector-0.12.1.2
Building     vector-0.12.1.2
Completed    distributive-0.6.2
Starting     scientific-0.3.6.2
Completed    random-1.2.0
Starting     comonad-5.0.6
Building     scientific-0.3.6.2
Completed    constraints-0.12
Starting     uuid-types-1.0.3
Building     comonad-5.0.6
Building     uuid-types-1.0.3
Completed    scientific-0.3.6.2
Starting     QuickCheck-2.14.1
Building     QuickCheck-2.14.1
Completed    uuid-types-1.0.3
Completed    comonad-5.0.6
Starting     bifunctors-5.5.7
Building     bifunctors-5.5.7
Completed    bifunctors-5.5.7
Starting     assoc-1.0.2
Building     assoc-1.0.2
Completed    assoc-1.0.2
Starting     these-1.1.1.1
Building     these-1.1.1.1
Completed    QuickCheck-2.14.1
Completed    these-1.1.1.1
Starting     strict-0.4
Building     strict-0.4
Completed    strict-0.4
Completed    vector-0.12.1.2
Starting     twee-lib-2.2
Starting     quickcheck-instances-0.3.24
Building     twee-lib-2.2
Building     quickcheck-instances-0.3.24
Completed    quickcheck-instances-0.3.24
Completed    twee-lib-2.2
Downloading  quickspec-2.1.5
Downloaded   quickspec-2.1.5
Starting     quickspec-2.1.5
Building     quickspec-2.1.5
Completed    quickspec-2.1.5