diff options
| author | Remi Collet <fedora@famillecollet.com> | 2016-06-30 14:35:19 +0200 |
|---|---|---|
| committer | Remi Collet <fedora@famillecollet.com> | 2016-06-30 14:35:19 +0200 |
| commit | 5b280f8e47d13b67ef470f38a9c0fce2ef26f52f (patch) | |
| tree | afdaea465303876bb8b00d8db2826a4bbd729ac4 /remi-php71.repo | |
| parent | d2de27fd5e0649a9fb38b2ec775587abe72c47cd (diff) | |
remi-release: add remi-php71 repo configuration
Diffstat (limited to 'remi-php71.repo')
| -rw-r--r-- | remi-php71.repo | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/remi-php71.repo b/remi-php71.repo new file mode 100644 index 0000000..a7a6506 --- /dev/null +++ b/remi-php71.repo @@ -0,0 +1,32 @@ +# 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=http://rpms.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=http://rpms.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 |