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