Package: miredo-server

"miredo-server" package binaries on Debian:

/usr/sbin/miredo-server

You may install this package on Debian with apt-get install miredo-server