diff options
Diffstat (limited to 'remi-php70.repo')
| -rw-r--r-- | remi-php70.repo | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/remi-php70.repo b/remi-php70.repo new file mode 100644 index 0000000..e8ad1aa --- /dev/null +++ b/remi-php70.repo @@ -0,0 +1,18 @@ +# This repository only provides PHP 7.0 and its extensions +# WARNING: If you enable this repository, you must also enable "remi" +# which provides common dependencies + +[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=http://rpms.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 |