rebuild against Agda-2.6.2.2

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