Resolving dependencies... Configuring erf-2.0.0.0... Configuring hashable-1.2.7.0... Building erf-2.0.0.0... Building hashable-1.2.7.0... Installed erf-2.0.0.0 Configuring integer-logarithms-1.0.2.2... Building integer-logarithms-1.0.2.2... Installed hashable-1.2.7.0 Configuring primitive-0.6.4.0... Installed integer-logarithms-1.0.2.2 Configuring random-1.1... Building primitive-0.6.4.0... Building random-1.1... Installed random-1.1 Configuring validity-0.7.0.0... Building validity-0.7.0.0... Installed validity-0.7.0.0 Installed primitive-0.6.4.0 Configuring scientific-0.3.6.2... Configuring tf-random-0.5... Building tf-random-0.5... Building scientific-0.3.6.2... Installed tf-random-0.5 Configuring QuickCheck-2.12.6.1... Building QuickCheck-2.12.6.1... Installed scientific-0.3.6.2 Configuring validity-scientific-0.2.0.2... Building validity-scientific-0.2.0.2... Installed validity-scientific-0.2.0.2 Installed QuickCheck-2.12.6.1 Configuring genvalidity-0.5.1.0... Building genvalidity-0.5.1.0... Installed genvalidity-0.5.1.0 Downloading genvalidity-scientific-0.2.1.0... Configuring genvalidity-scientific-0.2.1.0... Building genvalidity-scientific-0.2.1.0... Installed genvalidity-scientific-0.2.1.0