Resolving dependencies... Downloading CSPM-CoreLanguage-0.3.1.0... Configuring mtl-2.2.1... Configuring parallel-3.2.1.1... Downloading tree-monad-0.3... Building parallel-3.2.1.1... Building mtl-2.2.1... Installed parallel-3.2.1.1 Configuring random-1.1... Building random-1.1... Configuring primitive-0.6.2.0... Installed mtl-2.2.1 Building primitive-0.6.2.0... Installed random-1.1 Configuring CSPM-CoreLanguage-0.3.1.0... Building CSPM-CoreLanguage-0.3.1.0... Configuring tree-monad-0.3... Installed CSPM-CoreLanguage-0.3.1.0 Building tree-monad-0.3... Installed tree-monad-0.3 Downloading parallel-tree-search-0.4.1... Configuring parallel-tree-search-0.4.1... Building parallel-tree-search-0.4.1... Installed primitive-0.6.2.0 Configuring tf-random-0.5... Installed parallel-tree-search-0.4.1 Building tf-random-0.5... Installed tf-random-0.5 Configuring QuickCheck-2.10.1... Building QuickCheck-2.10.1... Installed QuickCheck-2.10.1 Downloading CSPM-FiringRules-0.4.4.0... Configuring CSPM-FiringRules-0.4.4.0... Building CSPM-FiringRules-0.4.4.0... Installed CSPM-FiringRules-0.4.4.0