The text 8a5c70e3a95a, as Debian 7 (Wheezy) shipped it.
myproxy-server configuration file
myproxy-server.config(5) on Linux now
