Resolving dependencies...
Starting     cereal-0.5.8.3
Starting     colour-2.3.6
Starting     dlist-1.0
Starting     os-string-2.0.7
Starting     primitive-0.9.0.0
Starting     symbol-0.2.4.1
Starting     uglymemo-0.1.0.1
Starting     splitmix-0.1.1
Starting     utf8-string-1.0.2
Starting     split-0.2.5
Building     colour-2.3.6
Building     cereal-0.5.8.3
Building     symbol-0.2.4.1
Building     os-string-2.0.7
Building     split-0.2.5
Building     primitive-0.9.0.0
Building     utf8-string-1.0.2
Building     splitmix-0.1.1
Building     uglymemo-0.1.0.1
Building     dlist-1.0
Completed    uglymemo-0.1.0.1
Completed    split-0.2.5
Completed    symbol-0.2.4.1
Completed    splitmix-0.1.1
Starting     random-1.3.0
Building     random-1.3.0
Completed    dlist-1.0
Completed    utf8-string-1.0.2
Completed    colour-2.3.6
Starting     ansi-terminal-types-1.1
Building     ansi-terminal-types-1.1
Completed    os-string-2.0.7
Starting     hashable-1.4.7.0
Completed    cereal-0.5.8.3
Building     hashable-1.4.7.0
Completed    ansi-terminal-types-1.1
Starting     ansi-terminal-1.1.2
Building     ansi-terminal-1.1.2
Completed    primitive-0.9.0.0
Completed    ansi-terminal-1.1.2
Completed    hashable-1.4.7.0
Starting     async-2.2.5
Building     async-2.2.5
Completed    random-1.3.0
Starting     QuickCheck-2.15.0.1
Building     QuickCheck-2.15.0.1
Completed    async-2.2.5
Starting     minisat-0.1.3
Building     minisat-0.1.3
Completed    minisat-0.1.3
Starting     jukebox-0.5.5
Building     jukebox-0.5.5
Completed    QuickCheck-2.15.0.1
Starting     twee-lib-2.5
Building     twee-lib-2.5
Completed    jukebox-0.5.5
Completed    twee-lib-2.5
Downloading  twee-2.5
Downloaded   twee-2.5
Starting     twee-2.5
Building     twee-2.5
Completed    twee-2.5