Package: x42-plugins

"x42-plugins" package binaries on Debian:

/usr/bin/x42-scope

You may install this package on Debian with apt-get install x42-plugins