Package: mandos

"mandos" package binaries on Debian:

/usr/sbin/mandos-ctl /usr/sbin/mandos /usr/sbin/mandos-monitor

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