Resolving dependencies...
Downloading QuickCheck-2.11.3...
Configuring QuickCheck-2.11.3...
Building QuickCheck-2.11.3...
Installed QuickCheck-2.11.3