diff options
| author | Remi Collet <remi@remirepo.net> | 2018-06-19 10:29:01 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2018-06-19 10:29:01 +0200 |
| commit | 8435c8e13d5a7763ea3700c15018e007303bd3b7 (patch) | |
| tree | 7a105059d507a872bdd96ec9b8837ba9223d2e5a /remi-php70.repo | |
| parent | 1b355702b3cfc8bfc9305a9f7ad9022b87122279 (diff) | |
add php 7.3 repository
simplify sources
Diffstat (limited to 'remi-php70.repo')
| -rw-r--r-- | remi-php70.repo | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/remi-php70.repo b/remi-php70.repo deleted file mode 100644 index 7a6d316..0000000 --- a/remi-php70.repo +++ /dev/null @@ -1,34 +0,0 @@ -# This repository only provides PHP 7.0 and its extensions -# NOTICE: common dependencies are in "remi-safe" - -[remi-php70] -name=Remi's PHP 7.0 RPM repository for Enterprise Linux VERSION - $basearch -#baseurl=http://rpms.remirepo.net/enterprise/VERSION/php70/$basearch/ -#mirrorlist=https://rpms.remirepo.net/enterprise/VERSION/php70/httpsmirror -mirrorlist=http://cdn.remirepo.net/enterprise/VERSION/php70/mirror -enabled=0 -gpgcheck=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi - -[remi-php70-debuginfo] -name=Remi's PHP 7.0 RPM repository for Enterprise Linux VERSION - $basearch - debuginfo -baseurl=http://rpms.remirepo.net/enterprise/VERSION/debug-php70/$basearch/ -enabled=0 -gpgcheck=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi - -[remi-php70-test] -name=Remi's PHP 7.0 test RPM repository for Enterprise Linux VERSION - $basearch -#baseurl=http://rpms.remirepo.net/enterprise/VERSION/test70/$basearch/ -#mirrorlist=https://rpms.remirepo.net/enterprise/VERSION/test70/httpsmirror -mirrorlist=http://cdn.remirepo.net/enterprise/VERSION/test70/mirror -enabled=0 -gpgcheck=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi - -[remi-php70-test-debuginfo] -name=Remi's PHP 7.0 test RPM repository for Enterprise Linux VERSION - $basearch - debuginfo -baseurl=http://rpms.remirepo.net/enterprise/VERSION/debug-test70/$basearch/ -enabled=0 -gpgcheck=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi |