The text 4bf3d16ab54b, as Debian 7 (Wheezy) shipped it.
Configuration file for the Mandos server
mandos-clients.conf(5) on Linux now