Resolving dependencies... Configuring random-1.1... Configuring primitive-0.6.2.0... Building random-1.1... Building primitive-0.6.2.0... Installed random-1.1 Installed primitive-0.6.2.0 Configuring tf-random-0.5... Building tf-random-0.5... Installed tf-random-0.5 Configuring QuickCheck-2.9.2... Building QuickCheck-2.9.2... Installed QuickCheck-2.9.2 Configuring opentheory-primitive-1.8... Building opentheory-primitive-1.8... Installed opentheory-primitive-1.8 Configuring opentheory-1.200... Building opentheory-1.200... Installed opentheory-1.200 Configuring opentheory-divides-1.66... Configuring opentheory-stream-1.49... Building opentheory-divides-1.66... Building opentheory-stream-1.49... Installed opentheory-stream-1.49 Installed opentheory-divides-1.66 Configuring opentheory-prime-1.85... Building opentheory-prime-1.85... Installed opentheory-prime-1.85 Configuring nth-prime-1.2... Building nth-prime-1.2... Installed nth-prime-1.2