Resolving dependencies...
Downloading setoid-0.1.0.0...
Configuring setoid-0.1.0.0...
Building setoid-0.1.0.0...
Installed setoid-0.1.0.0