# HG changeset patch
# User Sjoerd Mullender <sjoerd@acm.org>
# Date 1695646818 -7200
# Node ID d69ea4241e1f6c03f4ecda83a074fcf3d1e5cbfd
# Parent  c2cc60d2f813e86cd0db071fcf30374b74075efc
Refer to key using version number.

diff -r c2cc60d2f813 -r d69ea4241e1f MonetDB-release/monetdb.repo
--- a/MonetDB-release/monetdb.repo	Thu May 25 16:22:48 2023 +0200
+++ b/MonetDB-release/monetdb.repo	Mon Sep 25 15:00:18 2023 +0200
@@ -3,39 +3,39 @@
 baseurl=https://dev.monetdb.org/downloads/Fedora/$releasever/$basearch/
 enabled=1
 gpgcheck=1
-gpgkey=https://www.monetdb.org/downloads/MonetDB-GPG-KEY
+gpgkey=https://www.monetdb.org/downloads/MonetDB-GPG-KEY-1.2
 
 [monetdb-debuginfo]
 name=MonetDB Debug $releasever - $basearch
 baseurl=https://dev.monetdb.org/downloads/Fedora/debug/$releasever/$basearch/
 enabled=0
 gpgcheck=1
-gpgkey=https://www.monetdb.org/downloads/MonetDB-GPG-KEY
+gpgkey=https://www.monetdb.org/downloads/MonetDB-GPG-KEY-1.2
 
 [monetdb-source]
 name=MonetDB Source $releasever - $basearch
 baseurl=https://dev.monetdb.org/downloads/Fedora/source/
 enabled=0
 gpgcheck=1
-gpgkey=https://www.monetdb.org/downloads/MonetDB-GPG-KEY
+gpgkey=https://www.monetdb.org/downloads/MonetDB-GPG-KEY-1.2
 
 [monetdb-testing]
 name=MonetDB Testing $releasever - $basearch
 baseurl=https://dev.monetdb.org/downloads/testing/Fedora/$releasever/$basearch/
 enabled=0
 gpgcheck=1
-gpgkey=https://www.monetdb.org/downloads/MonetDB-GPG-KEY
+gpgkey=https://www.monetdb.org/downloads/MonetDB-GPG-KEY-1.2
 
 [monetdb-testing-debuginfo]
 name=MonetDB Testing Debug $releasever - $basearch
 baseurl=https://dev.monetdb.org/downloads/testing/Fedora/debug/$releasever/$basearch/
 enabled=0
 gpgcheck=1
-gpgkey=https://www.monetdb.org/downloads/MonetDB-GPG-KEY
+gpgkey=https://www.monetdb.org/downloads/MonetDB-GPG-KEY-1.2
 
 [monetdb-testing-source]
 name=MonetDB Testing Source $releasever - $basearch
 baseurl=https://dev.monetdb.org/downloads/testing/Fedora/source/
 enabled=0
 gpgcheck=1
-gpgkey=https://www.monetdb.org/downloads/MonetDB-GPG-KEY
+gpgkey=https://www.monetdb.org/downloads/MonetDB-GPG-KEY-1.2