Resolving dependencies...
Downloading simple-smt-0.7.0...
Configuring simple-smt-0.7.0...
Building simple-smt-0.7.0...
Installed simple-smt-0.7.0