Binary: cinnamon-extension-tool

Debian packages that has this binary:

Package: cinnamon

/usr/bin/cinnamon-extension-tool