diff options
| author | Remi Collet <remi@remirepo.net> | 2023-05-05 15:05:33 +0200 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2023-05-05 15:05:33 +0200 |
| commit | 90db0dd439ea3de79157e8425c128fe73101c846 (patch) | |
| tree | 0fdbd6653511f274987d440c41106487ecd3612f /enterprise/7 | |
| parent | a221bb61006bd565801155746099b9185afea6ce (diff) | |
add RPM-GPG-KEY-remi in distro main page
Diffstat (limited to 'enterprise/7')
| -rw-r--r-- | enterprise/7/index.html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/enterprise/7/index.html b/enterprise/7/index.html index d35b4228..32dad8d0 100644 --- a/enterprise/7/index.html +++ b/enterprise/7/index.html @@ -23,6 +23,13 @@ <div id="content"> <h2>Enterprise Linux 7 - RHEL 7 (Maipo) - CentOS 7</h2> + <h3>GnuPG key used to sign packages and repository metadata</h3> + <ul class="pkglist"> + <li> + <a href="RPM-GPG-KEY-remi" class="inpage">RPM-GPG-KEY-remi</a> + </li> + </ul> + <h3>remi-safe (only additonal packages for base repository and Software Collections)</h3> <ul class="pkglist"> <li> |