diff options
Diffstat (limited to 'remi-php71.repo')
| -rw-r--r-- | remi-php71.repo | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/remi-php71.repo b/remi-php71.repo deleted file mode 100644 index b27a2af..0000000 --- a/remi-php71.repo +++ /dev/null @@ -1,34 +0,0 @@ -# This repository only provides PHP 7.1 and its extensions -# NOTICE: common dependencies are in "remi-safe" - -[remi-php71] -name=Remi's PHP 7.1 RPM repository for Enterprise Linux VERSION - $basearch -#baseurl=http://rpms.remirepo.net/enterprise/VERSION/php71/$basearch/ -#mirrorlist=https://rpms.remirepo.net/enterprise/VERSION/php71/httpsmirror -mirrorlist=http://cdn.remirepo.net/enterprise/VERSION/php71/mirror -enabled=0 -gpgcheck=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi - -[remi-php71-debuginfo] -name=Remi's PHP 7.1 RPM repository for Enterprise Linux VERSION - $basearch - debuginfo -baseurl=http://rpms.remirepo.net/enterprise/VERSION/debug-php71/$basearch/ -enabled=0 -gpgcheck=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi - -[remi-php71-test] -name=Remi's PHP 7.1 test RPM repository for Enterprise Linux VERSION - $basearch -#baseurl=http://rpms.remirepo.net/enterprise/VERSION/test71/$basearch/ -#mirrorlist=https://rpms.remirepo.net/enterprise/VERSION/test71/httpsmirror -mirrorlist=http://cdn.remirepo.net/enterprise/VERSION/test71/mirror -enabled=0 -gpgcheck=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi - -[remi-php71-test-debuginfo] -name=Remi's PHP 7.1 test RPM repository for Enterprise Linux VERSION - $basearch - debuginfo -baseurl=http://rpms.remirepo.net/enterprise/VERSION/debug-test71/$basearch/ -enabled=0 -gpgcheck=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi |