Resolving dependencies... Starting data-array-byte-0.1.0.1 Starting unliftio-core-0.2.1.0 Building unliftio-core-0.2.1.0 Building data-array-byte-0.1.0.1 Completed unliftio-core-0.2.1.0 Completed data-array-byte-0.1.0.1 Starting hashable-1.4.3.0 Building hashable-1.4.3.0 Completed hashable-1.4.3.0 Starting async-2.2.4 Building async-2.2.4 Completed async-2.2.4 Downloading minisat-0.1.3 Downloaded minisat-0.1.3 Starting minisat-0.1.3 Building minisat-0.1.3 Completed minisat-0.1.3 Downloading sat-simple-0.1.0.0 Downloaded sat-simple-0.1.0.0 Starting sat-simple-0.1.0.0 Building sat-simple-0.1.0.0 Completed sat-simple-0.1.0.0