File dejagnu.keyring of Package dejagnu