diff options
| author | Remi Collet <remi@remirepo.net> | 2017-06-29 17:12:23 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2017-06-29 17:12:23 +0200 |
| commit | 9a2e5d4269613bce5723232d994998dc400be153 (patch) | |
| tree | 08b29fe7e168e06ecdd20227cf7d228be5d6c449 /remi-php72.repo | |
| parent | f2baa1bf16049279ea14bb52b74d14d17ab34b38 (diff) | |
cleanup
Diffstat (limited to 'remi-php72.repo')
| -rw-r--r-- | remi-php72.repo | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/remi-php72.repo b/remi-php72.repo deleted file mode 100644 index 5f5d970..0000000 --- a/remi-php72.repo +++ /dev/null @@ -1,34 +0,0 @@ -# This repository only provides PHP 7.2 and its extensions -# NOTICE: common dependencies are in "remi-safe" - -[remi-php72] -name=Remi's PHP 7.2 RPM repository for Enterprise Linux VERSION - $basearch -#baseurl=http://rpms.remirepo.net/enterprise/VERSION/php72/$basearch/ -#mirrorlist=https://rpms.remirepo.net/enterprise/VERSION/php72/httpsmirror -mirrorlist=http://rpms.remirepo.net/enterprise/VERSION/php72/mirror -enabled=0 -gpgcheck=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi - -[remi-php72-debuginfo] -name=Remi's PHP 7.2 RPM repository for Enterprise Linux VERSION - $basearch - debuginfo -baseurl=http://rpms.remirepo.net/enterprise/VERSION/debug-php72/$basearch/ -enabled=0 -gpgcheck=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi - -[remi-php72-test] -name=Remi's PHP 7.2 test RPM repository for Enterprise Linux VERSION - $basearch -#baseurl=http://rpms.remirepo.net/enterprise/VERSION/test72/$basearch/ -#mirrorlist=https://rpms.remirepo.net/enterprise/VERSION/test72/httpsmirror -mirrorlist=http://rpms.remirepo.net/enterprise/VERSION/test72/mirror -enabled=0 -gpgcheck=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi - -[remi-php72-test-debuginfo] -name=Remi's PHP 7.2 test RPM repository for Enterprise Linux VERSION - $basearch - debuginfo -baseurl=http://rpms.remirepo.net/enterprise/VERSION/debug-test72/$basearch/ -enabled=0 -gpgcheck=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi |