summaryrefslogtreecommitdiffstats
path: root/enterprise/7/php72/mirror
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2023-07-20 08:43:44 +0200
committerRemi Collet <remi@php.net>2023-07-20 08:43:44 +0200
commit14d0932edb779af994aa730262b34c5b26687f8e (patch)
tree846fc67da5c0dd4c4e6413cb85a6662168fd8a1e /enterprise/7/php72/mirror
parent9ab3850179d5d92d1d387e707748b818335edf8f (diff)
remove http://remi.mirrors.arminco.com/
Diffstat (limited to 'enterprise/7/php72/mirror')
-rw-r--r--enterprise/7/php72/mirror1
1 files changed, 0 insertions, 1 deletions
diff --git a/enterprise/7/php72/mirror b/enterprise/7/php72/mirror
index 00b77d7f..1cd24bab 100644
--- a/enterprise/7/php72/mirror
+++ b/enterprise/7/php72/mirror
@@ -1,6 +1,5 @@
http://rpms.remirepo.net/enterprise/7/php72/$basearch/
http://fr2.rpmfind.net/linux/remi/enterprise/7/php72/$basearch/
-http://remi.mirrors.arminco.com/enterprise/7/php72/$basearch/
http://remi.schlundtech.de/enterprise/7/php72/$basearch/
## http://mirror5.layerjet.com/remi/enterprise/7/php72/$basearch/
http://mirror.awanti.com/remi/enterprise/7/php72/$basearch/