Build #1 for quickspec-2.1

[all reports]

Package quickspec-2.1
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2018-05-16 11:36:02.016914884 UTC
Compiler ghc-8.2.2
OS linux
Arch x86_64
Dependencies QuickCheck-2.10.1, base-4.10.1.0, constraints-0.10, containers-0.5.10.2, data-lens-light-0.1.2.2, dlist-0.8.0.4, quickcheck-instances-0.3.18, random-1.1, spoon-0.3.1, template-haskell-2.12.0.0, transformers-0.5.2.0, twee-lib-2.1.5, uglymemo-0.1.0.1
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

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

Test log

No test log was submitted for this report.