The package is named `sencha-sdk-tools` !
`dpkg -l |grep sench`
```
ii  sencha-cmd                            4.0.1.45-0c2c1                     amd64        Sencha Cmd
ii  sencha-sdk-tools                      2.0.0~beta3-0c2c5                  amd64        Sencha SDK Tools
```