Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild

fixup README building html/check:
https://github.com/agda/agda-stdlib/issues/2697

.gitignore

@@ -10,3 +10,7 @@
 /agda-stdlib-1.3.tar.gz
 /agda-stdlib-1.7.tar.gz
 /agda-stdlib-1.7.1.tar.gz
+/agda-stdlib-1.7.2.tar.gz
+/agda-stdlib-1.7.3.tar.gz
+/agda-stdlib-2.1.1.tar.gz
+/agda-stdlib-2.3.tar.gz

Agda-stdlib.spec

@@ -1,23 +1,25 @@
 # https://fedoraproject.org/wiki/Packaging:Haskell
 
+%global Agda_version 2.8.0
+
 Name:           Agda-stdlib
-Version:        1.7.1
-Release:        2%{?dist}
+Version:        2.3
+Release:        %autorelease
 Summary:        Agda standard libraries
 
 License:        MIT
-URL:            http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
+URL:            https://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
 Source0:        https://github.com/agda/agda-stdlib/archive/v%{version}.tar.gz#/agda-stdlib-%{version}.tar.gz
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-rpm-macros
 BuildRequires:  ghc-filemanip-devel
-BuildRequires:  Agda
+BuildRequires:  Agda = %{Agda_version}
 # .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.2
-# Agda can't build on armv7hl currently for f35/ghc-8.10
-ExcludeArch:    armv7hl
+Provides:       agda-stdlib = %{version}-%{release}
+Requires:       Agda = %{Agda_version}
+# Agda can't build on armv7hl and ix86 currently
+ExcludeArch:    armv7hl %{ix86}
 
 %description
 Agda standard libraries
@@ -43,7 +45,7 @@ dist/build/GenerateEverything/GenerateEverything
 %global agda agda --no-libraries -i. -isrc
 %{agda} Everything.agda
 
-%{agda} --html README.agda
+%{agda} --html -idoc doc/README.agda
 
 
 %install
@@ -54,7 +56,7 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/
 
 
 %check
-%{agda} README.agda
+LANG=C.utf8 %{agda} -idoc doc/README.agda
 
 
 %files
@@ -69,132 +71,4 @@ 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
-
-* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7-2
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
-
-* Mon Aug  9 2021 Jens Petersen <petersen@redhat.com> - 1.7-1
-- https://github.com/agda/agda-stdlib/blob/v1.7/CHANGELOG.md
-- disable armv7hl: no Agda - runs out of memory
-
-* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-6
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
-
-* Mon Jan 25 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-5
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
-
-* Mon Aug 24 2020 Jens Petersen <petersen@redhat.com> - 1.3-4
-- Agda-2.6.1 puts .agdai files under _build/
-- move Everything and README modules to docs
-
-* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-3
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
-
-* Mon Jul 20 2020 Jens Petersen <petersen@redhat.com> - 1.3-2
-- make package noarch
-
-* Sat Jun 27 2020 Jens Petersen <petersen@redhat.com> - 1.3-1
-- https://github.com/agda/agda-stdlib/blob/v1.3/CHANGELOG.md
-
-* Tue May 26 2020 Jens Petersen <petersen@redhat.com> - 1.2-1
-- update to 1.2
-- https://github.com/agda/agda-stdlib/blob/v1.2/CHANGELOG.md
-- requires Agda instead of ghc-Agda now
-
-* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-2
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
-
-* Sat Aug 17 2019 Jens Petersen <petersen@redhat.com> - 1.1-1
-- update to 1.1
-
-* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.17-2
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
-
-* Mon Feb 25 2019 Jens Petersen <petersen@redhat.com> - 0.17-1
-- update to 0.17
-
-* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.15-5
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
-
-* Tue Aug 28 2018 Jens Petersen <petersen@redhat.com> - 0.15-4
-- keep README*.agdai
-- require ghc-Agda
-
-* Wed Aug 22 2018 Jens Petersen <petersen@redhat.com> - 0.15-3
-- install library files correctly under src/
-
-* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.15-2
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
-
-* Sun Jul  1 2018 Jens Petersen <petersen@redhat.com> - 0.15-1
-- update to 0.15 for Agda-2.5.3
-
-* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-4
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
-
-* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-3
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
-
-* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-2
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
-
-* Sun Mar 12 2017 Jens Petersen <petersen@redhat.com> - 0.13-1
-- update to 0.13
-- install standard-library.agda-lib package file
-
-* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.11-2
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
-
-* Mon Oct 24 2016 Jens Petersen <petersen@redhat.com> - 0.11-3
-- update to 0.11
-
-* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-3
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
-
-* Tue Jun 16 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9-2
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
-
-* Thu Apr 16 2015 Jens Petersen <petersen@redhat.com> - 0.9-1
-- update to 0.9
-- include ffi lib in main package
-
-* Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-5
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
-
-* Fri Jun 06 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-4
-- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
-
-* Wed Feb  5 2014 Jens Petersen <petersen@redhat.com> - 0.7-3
-- no ghc-rpm-macros-extra on F19
-
-* Mon Feb  3 2014 Jens Petersen <petersen@redhat.com> - 0.7-2
-- only build on arch's where Agda builds
-
-* Tue Jun 25 2013 Jens Petersen <petersen@redhat.com> - 0.7-1
-- update to 0.7 with agda-lib-ffi-0.0.2
-- use ghc-rpm-macros-extra
-- add ffi_ver macro for agda-lib-ffi version
-
-* Thu Jul 12 2012 Jens Petersen <petersen@redhat.com> - 0.6-4
-- move stdlib files to datadir
-- subpackage html docs
-
-* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-3
-- subpackage agda-lib-ffi for MAlonzo backend
-
-* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-2
-- fix the manifest to include the libraries
-- add html
-- turn off debuginfo
-- remove README interface files
-
-* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-1
-- update to 0.6
-
-* Sat Jun  4 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org>
-- initial packaging for Fedora automatically generated by cabal2spec-0.23
+%autochangelog

changelog

@@ -0,0 +1,138 @@
+* Mon Feb 20 2023 Jens Petersen <petersen@redhat.com> - 1.7.1-5
+- rebuild
+
+* 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
+
+* 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
+
+* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.7-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
+
+* Mon Aug  9 2021 Jens Petersen <petersen@redhat.com> - 1.7-1
+- https://github.com/agda/agda-stdlib/blob/v1.7/CHANGELOG.md
+- disable armv7hl: no Agda - runs out of memory
+
+* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-6
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
+
+* Mon Jan 25 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
+
+* Mon Aug 24 2020 Jens Petersen <petersen@redhat.com> - 1.3-4
+- Agda-2.6.1 puts .agdai files under _build/
+- move Everything and README modules to docs
+
+* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
+
+* Mon Jul 20 2020 Jens Petersen <petersen@redhat.com> - 1.3-2
+- make package noarch
+
+* Sat Jun 27 2020 Jens Petersen <petersen@redhat.com> - 1.3-1
+- https://github.com/agda/agda-stdlib/blob/v1.3/CHANGELOG.md
+
+* Tue May 26 2020 Jens Petersen <petersen@redhat.com> - 1.2-1
+- update to 1.2
+- https://github.com/agda/agda-stdlib/blob/v1.2/CHANGELOG.md
+- requires Agda instead of ghc-Agda now
+
+* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
+
+* Sat Aug 17 2019 Jens Petersen <petersen@redhat.com> - 1.1-1
+- update to 1.1
+
+* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.17-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
+
+* Mon Feb 25 2019 Jens Petersen <petersen@redhat.com> - 0.17-1
+- update to 0.17
+
+* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.15-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
+
+* Tue Aug 28 2018 Jens Petersen <petersen@redhat.com> - 0.15-4
+- keep README*.agdai
+- require ghc-Agda
+
+* Wed Aug 22 2018 Jens Petersen <petersen@redhat.com> - 0.15-3
+- install library files correctly under src/
+
+* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.15-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
+
+* Sun Jul  1 2018 Jens Petersen <petersen@redhat.com> - 0.15-1
+- update to 0.15 for Agda-2.5.3
+
+* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
+
+* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
+
+* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
+
+* Sun Mar 12 2017 Jens Petersen <petersen@redhat.com> - 0.13-1
+- update to 0.13
+- install standard-library.agda-lib package file
+
+* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.11-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
+
+* Mon Oct 24 2016 Jens Petersen <petersen@redhat.com> - 0.11-3
+- update to 0.11
+
+* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
+
+* Tue Jun 16 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
+
+* Thu Apr 16 2015 Jens Petersen <petersen@redhat.com> - 0.9-1
+- update to 0.9
+- include ffi lib in main package
+
+* Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
+
+* Fri Jun 06 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
+
+* Wed Feb  5 2014 Jens Petersen <petersen@redhat.com> - 0.7-3
+- no ghc-rpm-macros-extra on F19
+
+* Mon Feb  3 2014 Jens Petersen <petersen@redhat.com> - 0.7-2
+- only build on arch's where Agda builds
+
+* Tue Jun 25 2013 Jens Petersen <petersen@redhat.com> - 0.7-1
+- update to 0.7 with agda-lib-ffi-0.0.2
+- use ghc-rpm-macros-extra
+- add ffi_ver macro for agda-lib-ffi version
+
+* Thu Jul 12 2012 Jens Petersen <petersen@redhat.com> - 0.6-4
+- move stdlib files to datadir
+- subpackage html docs
+
+* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-3
+- subpackage agda-lib-ffi for MAlonzo backend
+
+* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-2
+- fix the manifest to include the libraries
+- add html
+- turn off debuginfo
+- remove README interface files
+
+* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-1
+- update to 0.6
+
+* Sat Jun  4 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org>
+- initial packaging for Fedora automatically generated by cabal2spec-0.23

sources

@@ -1 +1 @@
-SHA512 (agda-stdlib-1.7.1.tar.gz) = fd0fc0b6a97dd4a51bd0208691800046ecdd200d9e57c83b0c3dae720c2e687942fee7c28be0cfdbdc0e54cefd9c2f1d1a683961bb368a48e5a02bf1bd36866a
+SHA512 (agda-stdlib-2.3.tar.gz) = 02cad3a8d3cccc2f89f41b9486c9ab86f5784261f02425600b2a03a868cea02c2a21408f2cb588de361d76c167ffdf86a5511264b156ddd9d6e01593de687182