From d1ddb2adf850d7bf81550fdb7a5302b5ffacedd1 Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Jan 18 2023 19:37:21 +0000
Subject: Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild


Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>

---

diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 6a47c35..78654aa 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -2,7 +2,7 @@
 
 Name:           Agda-stdlib
 Version:        1.7.1
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Agda standard libraries
 
 License:        MIT
@@ -69,6 +69,9 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/
 %doc html
 
 %changelog
+* Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
+
 * Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-3
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild