Package: tinymux

"tinymux" package binaries on Debian:

/usr/lib/tinymux/game/bin/netmux /usr/lib/tinymux/game/bin/slave /usr/share/tinymux/game/bin/.placeholder

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