diff options
author | Remi Collet <remi@remirepo.net> | 2017-06-29 17:00:49 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2017-06-29 17:00:49 +0200 |
commit | f2baa1bf16049279ea14bb52b74d14d17ab34b38 (patch) | |
tree | 41d33dca2136226121918a0ab2b2c4dd60eb5e8c /remi-php72.repo | |
parent | e9bc47738aaf99f526946adfd0d3db0354ac05c4 (diff) |
add remi-php72 configuration (fedora)
Diffstat (limited to 'remi-php72.repo')
-rw-r--r-- | remi-php72.repo | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/remi-php72.repo b/remi-php72.repo new file mode 100644 index 0000000..5f5d970 --- /dev/null +++ b/remi-php72.repo @@ -0,0 +1,34 @@ +# 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 |