From a68f6b74d1f9ee46d5dc317693b67e28e67fbb1d Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Tue, 21 Jun 2022 09:49:47 +0800
Subject: [PATCH] rebuild against Agda-2.6.2.2

---
 Agda-stdlib.spec | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 149aaaa..880dbc6 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -2,7 +2,7 @@
 
 Name:           Agda-stdlib
 Version:        1.7.1
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Agda standard libraries
 
 License:        MIT
@@ -15,7 +15,7 @@ BuildRequires:  Agda
 # .agdai files are arch independent
 BuildArch:      noarch
 Obsoletes:      ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6
-Requires:       Agda = 2.6.2.1
+Requires:       Agda = 2.6.2.2
 # Agda can't build on armv7hl currently for f35/ghc-8.10
 ExcludeArch:    armv7hl
 
@@ -69,6 +69,9 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/
 %doc html
 
 %changelog
+* Tue Jun 21 2022 Jens Petersen <petersen@redhat.com> - 1.7.1-2
+- rebuild against Agda-2.6.2.2
+
 * Wed Mar  9 2022 Jens Petersen <petersen@redhat.com> - 1.7.1-1
 - https://github.com/agda/agda-stdlib/blob/v1.7.1/CHANGELOG.md