From 2ec84682504ecfd0e8e70db3c6085ffcd509355f Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Thu, 7 Dec 2023 19:32:07 +0530
Subject: [PATCH] bump for Agda-2.6.4.1

---
 Agda-stdlib.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 5d5bfb7..5af15a7 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -16,7 +16,7 @@ BuildRequires:  Agda
 BuildArch:      noarch
 Obsoletes:      ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6
 Provides:       agda-stdlib = %{version}-%{release}
-Requires:       Agda = 2.6.4
+Requires:       Agda = 2.6.4.1
 # Agda can't build on armv7hl and ix86 currently
 ExcludeArch:    armv7hl %{ix86}