# gpg HOME_DIR/\.gnupg(/.+)? system_u:object_r:ROLE_gpg_secret_t:s0 /usr/bin/gpg(2)? -- system_u:object_r:gpg_exec_t:s0 /usr/bin/kgpg -- system_u:object_r:gpg_exec_t:s0 /usr/lib/gnupg/.* -- system_u:object_r:gpg_exec_t:s0 /usr/lib/gnupg/gpgkeys.* -- system_u:object_r:gpg_helper_exec_t:s0