From c1526462220ca846e9e794a2e05aa08c920295b9 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Mon, 12 Oct 2020 16:30:56 +0200 Subject: missing php80 entries in repository index page --- fedora/31/index.html | 21 ++++++++++++++++++--- fedora/32/index.html | 17 ++++++++++++++++- fedora/33/index.html | 15 +++++++++++++++ 3 files changed, 49 insertions(+), 4 deletions(-) (limited to 'fedora') diff --git a/fedora/31/index.html b/fedora/31/index.html index 7827240d..103d453c 100644 --- a/fedora/31/index.html +++ b/fedora/31/index.html @@ -34,6 +34,12 @@ x86_64 +

remi-php80 (only PHP 8.0 and extensions, also needs remi)

+

remi-php74 (only PHP 7.4 and extensions, also needs remi)

Test packages, please try them

development

@@ -59,17 +68,23 @@

debuginfo

diff --git a/fedora/32/index.html b/fedora/32/index.html index 81c1f4b0..4b2df9ce 100644 --- a/fedora/32/index.html +++ b/fedora/32/index.html @@ -34,10 +34,19 @@ x86_64 +

remi-php80 (only PHP 8.0 and extensions, also needs remi)

+

Test packages, please try them

development

@@ -49,9 +58,15 @@

debuginfo

+

remi-php80 (only PHP 8.0 and extensions, also needs remi)

+

Test packages, please try them

debuginfo