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