Resolving dependencies...
Starting     splitmix-0.1.0.4
Starting     th-compat-0.1.4
Starting     network-3.1.2.7
Building     splitmix-0.1.0.4
Building     th-compat-0.1.4
Building     network-3.1.2.7
Completed    splitmix-0.1.0.4
Starting     random-1.2.1.1
Building     random-1.2.1.1
Completed    th-compat-0.1.4
Starting     network-uri-2.6.4.1
Building     network-uri-2.6.4.1
Completed    network-uri-2.6.4.1
Completed    network-3.1.2.7
Starting     HTTP-4000.3.16
Building     HTTP-4000.3.16
Completed    random-1.2.1.1
Starting     QuickCheck-2.14.2
Building     QuickCheck-2.14.2
Completed    HTTP-4000.3.16
Starting     oeis-0.3.10
Building     oeis-0.3.10
Completed    oeis-0.3.10
Completed    QuickCheck-2.14.2
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.1
Building     lambdabot-trusted-5.3.1
Completed    lambdabot-trusted-5.3.1