Resolving dependencies... Configuring logict-0.6.0.2... Building logict-0.6.0.2... Installed logict-0.6.0.2 Downloading smallcheck-1.1.3.1... Configuring smallcheck-1.1.3.1... Building smallcheck-1.1.3.1... Installed smallcheck-1.1.3.1