Resolving dependencies...
Starting     hashable-1.3.1.0
Building     hashable-1.3.1.0
Completed    hashable-1.3.1.0
Starting     async-2.2.3
Building     async-2.2.3
Completed    async-2.2.3
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