From a8e8d7cd3057b2d8248ac88dbd533de5dbb686b7 Mon Sep 17 00:00:00 2001
From: "Dustin C. Hatch" <dustin@hatch.name>
Date: Sun, 16 Nov 2025 09:04:56 -0600
Subject: [PATCH] fixup! Include kernel version in release tag

---
 gasket-driver.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gasket-driver.spec b/gasket-driver.spec
index ffd4706..229457e 100644
--- a/gasket-driver.spec
+++ b/gasket-driver.spec
@@ -9,7 +9,7 @@
 
 Name:           gasket-driver
 Version:        0.0.git%{git_revision}
-Release:        2.k%{kernel_version}
+Release:        2.k%{kernel_version}%{?dist}
 Summary:        The Coral Gasket Driver allows usage of the Coral EdgeTPU on Linux systems
 
 License:        GPL-2.0