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