Resolving dependencies... Downloading countable-1.2 Starting data-array-byte-0.1.0.1 Starting type-equality-1 Starting transformers-compat-0.7.2 Downloaded countable-1.2 Starting countable-1.2 Building transformers-compat-0.7.2 Building type-equality-1 Building data-array-byte-0.1.0.1 Building countable-1.2 Completed type-equality-1 Completed data-array-byte-0.1.0.1 Starting hashable-1.4.2.0 Completed countable-1.2 Building hashable-1.4.2.0 Completed transformers-compat-0.7.2 Completed hashable-1.4.2.0 Starting constraints-0.13.4 Building constraints-0.13.4 Completed constraints-0.13.4 Downloading witness-0.6.2 Downloaded witness-0.6.2 Starting witness-0.6.2 Building witness-0.6.2 Completed witness-0.6.2