Resolving dependencies...
Starting     network-uri-2.6.3.0
Starting     random-1.1
Starting     network-3.1.1.1
Building     network-uri-2.6.3.0
Building     random-1.1
Building     network-3.1.1.1
Completed    random-1.1
Starting     splitmix-0.0.4
Building     splitmix-0.0.4
Completed    network-uri-2.6.3.0
Completed    splitmix-0.0.4
Starting     QuickCheck-2.14
Building     QuickCheck-2.14
Completed    network-3.1.1.1
Starting     HTTP-4000.3.14
Building     HTTP-4000.3.14
Completed    HTTP-4000.3.14
Starting     oeis-0.3.10
Building     oeis-0.3.10
Completed    oeis-0.3.10
Completed    QuickCheck-2.14
Starting     QuickCheck-safe-0.1.0.6
Building     QuickCheck-safe-0.1.0.6
Completed    QuickCheck-safe-0.1.0.6
Starting     lambdabot-trusted-5.3
Building     lambdabot-trusted-5.3
Completed    lambdabot-trusted-5.3