Problem with gpg key during PHP installation

[dariyoosh]

Hi,

I want to install PHP on ubuntu 17.04 (64 bits). On the download page there is a link to
public keys in order to check the signature:

 

http://php.net/downloads.php#gpg-7.1

 

I saved the content for the PHP 7.1 section in a text file named KEYS:

pub 4096R/7BD5DCD0 2016-05-07

Key fingerprint = A917 B1EC DA84 AEC2 B568 FED6 F50A BC80 7BD5 DCD0

uid Davey Shafik <davey@php.net>



pub 2048R/31CBD89E 2016-12-08

Key fingerprint = 5289 95BF EDFB A719 1D46 839E F9BA 0ADA 31CB D89E

uid Joe Watkins <krakjoe@php.net>

Then I run:

gpg --import KEYS

Which gave me the following error

gpg: no valid OpenPGP data found.

gpg: Total number processed: 0

Could you tell me what am I doing wrong?

Thanks in advance.

[dariyoosh]

Problem resolved.

 

I entered the indicated email address at the search string field of the following key server :

 

https://pgp.key-server.io/

 

and I managed to find the required public key.