diff options
Diffstat (limited to 'remi-php71.repo')
-rw-r--r-- | remi-php71.repo | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/remi-php71.repo b/remi-php71.repo new file mode 100644 index 0000000..a9c7d0b --- /dev/null +++ b/remi-php71.repo @@ -0,0 +1,10 @@ +[remi-php71] +name=Remi's RPM repository - PHP 7.1 - Fedora $releasever - $basearch +#baseurl=http://rpms.remirepo.net/fedora/$releasever/php71/$basearch/ +mirrorlist=http://cdn.remirepo.net/fedora/$releasever/php71/mirror +# WARNING: If you enable this repository, you must also enable "remi" +enabled=0 +gpgcheck=1 +failovermethod=roundrobin +fastestmirror=1 +gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi |