Package: toshset

"toshset" package binaries on Debian:

/usr/bin/toshset /usr/sbin/toshsat1800-irdasetup

You may install this package on Debian with apt-get install toshset