Resolving dependencies...
Configuring stm-2.4.4.1...
Building stm-2.4.4.1...
Installed stm-2.4.4.1
Downloading stm-lifted-0.1.1.0...
Configuring stm-lifted-0.1.1.0...
Building stm-lifted-0.1.1.0...
Installed stm-lifted-0.1.1.0