summaryrefslogtreecommitdiffstats
path: root/remi-php72.repo
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2018-06-19 10:29:01 +0200
committerRemi Collet <remi@remirepo.net>2018-06-19 10:29:01 +0200
commit8435c8e13d5a7763ea3700c15018e007303bd3b7 (patch)
tree7a105059d507a872bdd96ec9b8837ba9223d2e5a /remi-php72.repo
parent1b355702b3cfc8bfc9305a9f7ad9022b87122279 (diff)
add php 7.3 repository
simplify sources
Diffstat (limited to 'remi-php72.repo')
-rw-r--r--remi-php72.repo34
1 files changed, 0 insertions, 34 deletions
diff --git a/remi-php72.repo b/remi-php72.repo
deleted file mode 100644
index 9205075..0000000
--- a/remi-php72.repo
+++ /dev/null
@@ -1,34 +0,0 @@
-# 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://cdn.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://cdn.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