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-php.repo | |
parent | 1b355702b3cfc8bfc9305a9f7ad9022b87122279 (diff) |
add php 7.3 repository
simplify sources
Diffstat (limited to 'remi-php.repo')
-rw-r--r-- | remi-php.repo | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/remi-php.repo b/remi-php.repo new file mode 100644 index 0000000..bf2eb69 --- /dev/null +++ b/remi-php.repo @@ -0,0 +1,34 @@ +# This repository only provides PHP @DOTVER@ and its extensions +# NOTICE: common dependencies are in "remi-safe" + +[remi-php@VER@] +name=Remi's PHP @DOTVER@ RPM repository for Enterprise Linux VERSION - $basearch +#baseurl=http://rpms.remirepo.net/enterprise/VERSION/php@VER@/$basearch/ +#mirrorlist=https://rpms.remirepo.net/enterprise/VERSION/php@VER@/httpsmirror +mirrorlist=http://cdn.remirepo.net/enterprise/VERSION/php@VER@/mirror +enabled=0 +gpgcheck=1 +gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi + +[remi-php@VER@-debuginfo] +name=Remi's PHP @DOTVER@ RPM repository for Enterprise Linux VERSION - $basearch - debuginfo +baseurl=http://rpms.remirepo.net/enterprise/VERSION/debug-php@VER@/$basearch/ +enabled=0 +gpgcheck=1 +gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi + +[remi-php@VER@-test] +name=Remi's PHP @DOTVER@ test RPM repository for Enterprise Linux VERSION - $basearch +#baseurl=http://rpms.remirepo.net/enterprise/VERSION/test@VER@/$basearch/ +#mirrorlist=https://rpms.remirepo.net/enterprise/VERSION/test@VER@/httpsmirror +mirrorlist=http://cdn.remirepo.net/enterprise/VERSION/test@VER@/mirror +enabled=0 +gpgcheck=1 +gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi + +[remi-php@VER@-test-debuginfo] +name=Remi's PHP @DOTVER@ test RPM repository for Enterprise Linux VERSION - $basearch - debuginfo +baseurl=http://rpms.remirepo.net/enterprise/VERSION/debug-test@VER@/$basearch/ +enabled=0 +gpgcheck=1 +gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi |