Resolving dependencies...
Configuring dlist-0.8.0.4...
Configuring data-lens-light-0.1.2.2...
Building dlist-0.8.0.4...
Building data-lens-light-0.1.2.2...
Installed data-lens-light-0.1.2.2
Configuring reflection-2.1.3...
Installed dlist-0.8.0.4
Configuring semigroups-0.18.4...
Building reflection-2.1.3...
Building semigroups-0.18.4...
Installed semigroups-0.18.4
Configuring transformers-compat-0.5.1.4...
Building transformers-compat-0.5.1.4...
Installed transformers-compat-0.5.1.4
Configuring uglymemo-0.1.0.1...
Building uglymemo-0.1.0.1...
Installed reflection-2.1.3
Configuring twee-lib-2.1.2...
Building twee-lib-2.1.2...
Installed uglymemo-0.1.0.1
Configuring constraints-0.10...
Building constraints-0.10...
Installed constraints-0.10
Installed twee-lib-2.1.2
Downloading quickspec-2...
Configuring quickspec-2...
Building quickspec-2...
Installed quickspec-2