[type: gettext/rfc822deb] proofgeneral.templates
