Package: s51dude

"s51dude" package binaries on Debian:

/usr/bin/s51dude

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