diff options
| author | Remi Collet <remi@remirepo.net> | 2018-06-19 10:16:54 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2018-06-19 10:16:54 +0200 |
| commit | 083cf4692ae3b6893a1dbd5184542d08466d2756 (patch) | |
| tree | 24ff03eb3ca5e2b108e656279a416e4288c7340b /remi-php72.repo | |
| parent | 1c614592bb05bd260323a56c0133cf93547bfc15 (diff) | |
add php 7.3 repository
simplify sources
Diffstat (limited to 'remi-php72.repo')
| -rw-r--r-- | remi-php72.repo | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/remi-php72.repo b/remi-php72.repo deleted file mode 100644 index e722376..0000000 --- a/remi-php72.repo +++ /dev/null @@ -1,18 +0,0 @@ -[remi-php72] -name=Remi's RPM repository - PHP 7.2 - Fedora $releasever - $basearch -#baseurl=http://rpms.remirepo.net/fedora/$releasever/php72/$basearch/ -mirrorlist=http://cdn.remirepo.net/fedora/$releasever/php72/mirror -# WARNING: If you enable this repository, you must also enable "remi" -enabled=0 -gpgcheck=1 -failovermethod=roundrobin -fastestmirror=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi-$releasever - -[remi-php72-debuginfo] -name=Remi's PHP 7.2 RPM repository for Fedora $releasever - $basearch - debuginfo -baseurl=http://rpms.remirepo.net/fedora/$releasever/debug-php72/$basearch/ -enabled=0 -gpgcheck=1 -gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi-$releasever - |