summaryrefslogtreecommitdiffstats
path: root/remi-php.repo
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2018-06-19 10:16:54 +0200
committerRemi Collet <remi@remirepo.net>2018-06-19 10:16:54 +0200
commit083cf4692ae3b6893a1dbd5184542d08466d2756 (patch)
tree24ff03eb3ca5e2b108e656279a416e4288c7340b /remi-php.repo
parent1c614592bb05bd260323a56c0133cf93547bfc15 (diff)
add php 7.3 repository
simplify sources
Diffstat (limited to 'remi-php.repo')
-rw-r--r--remi-php.repo19
1 files changed, 19 insertions, 0 deletions
diff --git a/remi-php.repo b/remi-php.repo
new file mode 100644
index 0000000..a381756
--- /dev/null
+++ b/remi-php.repo
@@ -0,0 +1,19 @@
+[remi-php@VER@]
+name=Remi's RPM repository - PHP @DOTVER@ - Fedora $releasever - $basearch
+#baseurl=http://rpms.remirepo.net/fedora/$releasever/php@VER@/$basearch/
+mirrorlist=http://cdn.remirepo.net/fedora/$releasever/php@VER@/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-php@VER@-debuginfo]
+name=Remi's PHP @DOTVER@ RPM repository for Fedora $releasever - $basearch - debuginfo
+baseurl=http://rpms.remirepo.net/fedora/$releasever/debug-php@VER@/$basearch/
+enabled=0
+gpgcheck=1
+gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-remi-$releasever
+
+