Resolving dependencies... Configuring primitive-0.6.2.0... Configuring random-1.1... 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-parser-1.160... Configuring opentheory-probability-1.52... Building opentheory-probability-1.52... Building opentheory-parser-1.160... Installed opentheory-probability-1.52 Configuring opentheory-bits-1.69... Building opentheory-bits-1.69... Installed opentheory-parser-1.160 Installed opentheory-bits-1.69 Configuring opentheory-byte-1.128... Building opentheory-byte-1.128... Installed opentheory-byte-1.128 Configuring opentheory-unicode-1.142... Building opentheory-unicode-1.142... Installed opentheory-unicode-1.142 Configuring api-opentheory-unicode-1.2... Building api-opentheory-unicode-1.2... Installed api-opentheory-unicode-1.2 Configuring decode-utf8-1.0... Building decode-utf8-1.0... Installed decode-utf8-1.0