Index: ddiskit-de1f6847223085dcdd177e02a7298c835fae12a3/ddiskit.config

===================================================================

--- ddiskit-de1f6847223085dcdd177e02a7298c835fae12a3.orig/ddiskit.config	2022-07-12 02:04:24.700230196 +0200

+++ ddiskit-de1f6847223085dcdd177e02a7298c835fae12a3/ddiskit.config	2022-07-12 02:07:27.444095264 +0200

@@ -4,6 +4,9 @@

 major = 7

 minor = 0

+kernel_dist_re = (?P<rpm_dist>\.el([6-9]|[1-9][0-9])(_(0|[1-9][0-9]*))?)

+kernel_flex_version_re = {kernel_nvr_re}(?P<rpm_release_aux>(\.[0-9]{1,3})*){kernel_dist_re}

+

 [rpm_gpg_check]

 ## Some initial assumption about the keyring dir

 keyring_dir = {defaults.res_dir}/keyrings/{defaults.profile}