Manpages of puf in Debian jessie