Resolving dependencies...
Configuring data-lens-light-0.1.2.2...
Configuring base-compat-0.10.1...
Building data-lens-light-0.1.2.2...
Building base-compat-0.10.1...
Installed data-lens-light-0.1.2.2
Configuring dlist-0.8.0.4...
Building dlist-0.8.0.4...
Installed dlist-0.8.0.4
Configuring old-locale-1.0.0.7...
Building old-locale-1.0.0.7...
Installed base-compat-0.10.1
Configuring semigroups-0.18.4...
Building semigroups-0.18.4...
Installed old-locale-1.0.0.7
Configuring spoon-0.3.1...
Building spoon-0.3.1...
Installed semigroups-0.18.4
Configuring transformers-compat-0.6.2...
Building transformers-compat-0.6.2...
Installed spoon-0.3.1
Configuring uglymemo-0.1.0.1...
Building uglymemo-0.1.0.1...
Installed uglymemo-0.1.0.1
Configuring uuid-types-1.0.3...
Building uuid-types-1.0.3...
Installed transformers-compat-0.6.2
Configuring twee-lib-2.1.5...
Building twee-lib-2.1.5...
Installed uuid-types-1.0.3
Configuring old-time-1.1.0.3...
Building old-time-1.1.0.3...
Installed old-time-1.1.0.3
Configuring tagged-0.8.5...
Building tagged-0.8.5...
Installed tagged-0.8.5
Configuring constraints-0.10...
Building constraints-0.10...
Installed twee-lib-2.1.5
Configuring quickcheck-instances-0.3.18...
Building quickcheck-instances-0.3.18...
Installed constraints-0.10
Installed quickcheck-instances-0.3.18
Downloading quickspec-2.1...
Configuring quickspec-2.1...
Building quickspec-2.1...
Installed quickspec-2.1