Package: mandos-client

"mandos-client" package binaries on Debian:

/usr/sbin/mandos-keygen

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