From 1fdd505653006b79978b0b4e327229aa17f55940 Mon Sep 17 00:00:00 2001 From: Dennis Gilmore Date: Fri, 6 Jun 2014 17:21:59 -0500 Subject: [PATCH 01/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 3961b1f..00170ab 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -7,7 +7,7 @@ Name: Agda-stdlib Version: 0.7 # only reset if agda-lib-ffi also bumped -Release: 3%{?dist} +Release: 4%{?dist} Summary: Agda standard libraries Group: Development/Libraries @@ -85,6 +85,9 @@ rm README.agdai README/*.agdai %changelog +* Fri Jun 06 2014 Fedora Release Engineering - 0.7-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild + * Wed Feb 5 2014 Jens Petersen - 0.7-3 - no ghc-rpm-macros-extra on F19 From f191f9a56c771c636cbfeb8cd4af9c7a106cb652 Mon Sep 17 00:00:00 2001 From: Peter Robinson Date: Fri, 15 Aug 2014 18:10:34 +0000 Subject: [PATCH 02/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 00170ab..c1fcdd1 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -7,7 +7,7 @@ Name: Agda-stdlib Version: 0.7 # only reset if agda-lib-ffi also bumped -Release: 4%{?dist} +Release: 5%{?dist} Summary: Agda standard libraries Group: Development/Libraries @@ -85,6 +85,9 @@ rm README.agdai README/*.agdai %changelog +* Fri Aug 15 2014 Fedora Release Engineering - 0.7-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild + * Fri Jun 06 2014 Fedora Release Engineering - 0.7-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild From 12fcba20ad3e16d2678a6bb6fcd8c073e75034a7 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Fri, 17 Apr 2015 11:43:00 +0900 Subject: [PATCH 03/63] update to 0.9 --- .gitignore | 2 ++ Agda-stdlib.spec | 32 +++++++++++++++++++++++++------- sources | 3 ++- 3 files changed, 29 insertions(+), 8 deletions(-) diff --git a/.gitignore b/.gitignore index 039618f..e7039de 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,3 @@ /lib-0.7.tar.gz +/agda-stdlib-0.9.tar.gz +/filemanip-0.3.6.3.tar.gz diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index c1fcdd1..0ea17b5 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -3,17 +3,20 @@ # - https://fedoraproject.org/wiki/PackagingDrafts/Haskell %global ffi_ver 0.0.2 +%global filemanip_ver 0.3.6.3 Name: Agda-stdlib -Version: 0.7 -# only reset if agda-lib-ffi also bumped -Release: 5%{?dist} +Version: 0.9 +# Only reset if agda-lib-ffi also bumped +Release: 6%{?dist} Summary: Agda standard libraries Group: Development/Libraries License: MIT URL: http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary -Source0: http://www.cse.chalmers.se/~nad/software/lib-%{version}.tar.gz +# dl from https://github.com/agda/agda-stdlib/archive/v%{version}.tar.gz +Source0: agda-stdlib-%{version}.tar.gz +Source1: http://hackage.haskell.org/package/filemanip-%{filemanip_ver}/filemanip-%{filemanip_ver}.tar.gz BuildRequires: ghc-Cabal-devel %if 0%{?fedora} >= 20 BuildRequires: ghc-rpm-macros-extra @@ -47,13 +50,22 @@ generated by the Agda compiler program. %prep -%setup -q -n lib-%{version} +%setup -q -n agda-stdlib-%{version} -a1 %build HOME=$PWD -cd ffi %define cabal_configure_options --user +cd filemanip-%{filemanip_ver} +%ghc_lib_build filemanip %{filemanip_ver} +%ghc_lib_install filemanip %{filemanip_ver} +./Setup register --inplace +cd .. + +%ghc_bin_build +dist/build/GenerateEverything/GenerateEverything + +cd ffi %ghc_lib_build agda-lib-ffi %{ffi_ver} cd .. agda -i. -isrc Everything.agda @@ -72,11 +84,14 @@ cd .. mkdir -p %{buildroot}%{_datadir}/%{name} cp -pr Everything.agda* src/* %{buildroot}%{_datadir}/%{name} + +%check +agda -i. -isrc README.agda rm README.agdai README/*.agdai %files -%doc LICENCE release-notes README* +%doc CHANGELOG LICENCE README* %{_datadir}/%{name} @@ -85,6 +100,9 @@ rm README.agdai README/*.agdai %changelog +* Thu Apr 16 2015 Jens Petersen - 0.9-6 +- update to 0.9 + * Fri Aug 15 2014 Fedora Release Engineering - 0.7-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild diff --git a/sources b/sources index badbeef..45251ea 100644 --- a/sources +++ b/sources @@ -1 +1,2 @@ -ff390e42876caf97d4e96e0d6fb00b01 lib-0.7.tar.gz +d22adf380b33b401e786132a4bfc8597 agda-stdlib-0.9.tar.gz +04d23467ce2e7ac0bc9c01c4e0ebd06c filemanip-0.3.6.3.tar.gz From 7bb5a0ef9e00dde11a6587aa802d80b8b00ac3e9 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Fri, 17 Apr 2015 13:17:28 +0900 Subject: [PATCH 04/63] BR unix-compat for filemanip --- Agda-stdlib.spec | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 0ea17b5..9e472ee 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -24,6 +24,8 @@ BuildRequires: ghc-rpm-macros-extra BuildRequires: ghc-rpm-macros %endif BuildRequires: Agda +# needed for filemanip +BuildRequires: ghc-unix-compat-devel # Agda needs ghci and is not building on arm currently ExclusiveArch: %{ghc_arches_with_ghci} ExcludeArch: armv7hl From 001ba0471e5fc98ded6c36df3faa3be633e968dd Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Fri, 17 Apr 2015 15:38:45 +0900 Subject: [PATCH 05/63] move ffi lib into main package --- Agda-stdlib.spec | 23 ++++++++++++++--------- 1 file changed, 14 insertions(+), 9 deletions(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 9e472ee..596b62d 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -7,8 +7,7 @@ Name: Agda-stdlib Version: 0.9 -# Only reset if agda-lib-ffi also bumped -Release: 6%{?dist} +Release: 1%{?dist} Summary: Agda standard libraries Group: Development/Libraries @@ -29,6 +28,7 @@ BuildRequires: ghc-unix-compat-devel # Agda needs ghci and is not building on arm currently ExclusiveArch: %{ghc_arches_with_ghci} ExcludeArch: armv7hl +Obsoletes: ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6 %description Agda standard libraries @@ -43,11 +43,6 @@ This package provides the html documentation for the stdlibs generated by the Agda compiler program. -%global stdlib_version %{version} -%ghc_lib_subpackage agda-lib-ffi %{ffi_ver} -%global version %{stdlib_version} - - %global debug_package %{nil} @@ -82,6 +77,7 @@ cd ffi ./Setup register --inplace mv *.files .. cd .. +cat ghc-agda-lib-ffi*.files > haskell-ffi.files mkdir -p %{buildroot}%{_datadir}/%{name} cp -pr Everything.agda* src/* %{buildroot}%{_datadir}/%{name} @@ -92,7 +88,15 @@ agda -i. -isrc README.agda rm README.agdai README/*.agdai -%files +%post +%ghc_pkg_recache + + +%postun +%ghc_pkg_recache + + +%files -f haskell-ffi.files %doc CHANGELOG LICENCE README* %{_datadir}/%{name} @@ -102,8 +106,9 @@ rm README.agdai README/*.agdai %changelog -* Thu Apr 16 2015 Jens Petersen - 0.9-6 +* Thu Apr 16 2015 Jens Petersen - 0.9-1 - update to 0.9 +- include ffi lib in main package * Fri Aug 15 2014 Fedora Release Engineering - 0.7-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild From cf73a92b37a360e03659d48433675d2ac415d9e2 Mon Sep 17 00:00:00 2001 From: Dennis Gilmore Date: Tue, 16 Jun 2015 22:41:06 +0000 Subject: [PATCH 06/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 596b62d..155911c 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -7,7 +7,7 @@ Name: Agda-stdlib Version: 0.9 -Release: 1%{?dist} +Release: 2%{?dist} Summary: Agda standard libraries Group: Development/Libraries @@ -106,6 +106,9 @@ rm README.agdai README/*.agdai %changelog +* Tue Jun 16 2015 Fedora Release Engineering - 0.9-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild + * Thu Apr 16 2015 Jens Petersen - 0.9-1 - update to 0.9 - include ffi lib in main package From efc162578c655ab561e097683cf23d0b5d755f19 Mon Sep 17 00:00:00 2001 From: Dennis Gilmore Date: Wed, 3 Feb 2016 15:19:04 +0000 Subject: [PATCH 07/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 155911c..071f8cf 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -7,7 +7,7 @@ Name: Agda-stdlib Version: 0.9 -Release: 2%{?dist} +Release: 3%{?dist} Summary: Agda standard libraries Group: Development/Libraries @@ -106,6 +106,9 @@ rm README.agdai README/*.agdai %changelog +* Wed Feb 03 2016 Fedora Release Engineering - 0.9-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild + * Tue Jun 16 2015 Fedora Release Engineering - 0.9-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild From ed310a0ca747f1e90d408fac692b98aa441676cf Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 7 Mar 2016 22:53:09 +0900 Subject: [PATCH 08/63] drop %ghc_arches_with_ghci --- Agda-stdlib.spec | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 071f8cf..16d4ac5 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -25,8 +25,7 @@ BuildRequires: ghc-rpm-macros BuildRequires: Agda # needed for filemanip BuildRequires: ghc-unix-compat-devel -# Agda needs ghci and is not building on arm currently -ExclusiveArch: %{ghc_arches_with_ghci} +# Agda is not building on arm currently ExcludeArch: armv7hl Obsoletes: ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6 From 949a1ec0ea1576c9ec77317e76b9ab77dbee970d Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 24 Oct 2016 17:40:17 +0900 Subject: [PATCH 09/63] update to 0.11 --- .gitignore | 1 + Agda-stdlib.spec | 31 ++++++++++++------------------- sources | 3 +-- 3 files changed, 14 insertions(+), 21 deletions(-) diff --git a/.gitignore b/.gitignore index e7039de..53e52ea 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ /lib-0.7.tar.gz /agda-stdlib-0.9.tar.gz /filemanip-0.3.6.3.tar.gz +/agda-stdlib-0.11.tar.gz diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 16d4ac5..9b933be 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -2,12 +2,9 @@ # - https://fedoraproject.org/wiki/Packaging:Haskell # - https://fedoraproject.org/wiki/PackagingDrafts/Haskell -%global ffi_ver 0.0.2 -%global filemanip_ver 0.3.6.3 - Name: Agda-stdlib -Version: 0.9 -Release: 3%{?dist} +Version: 0.11 +Release: 1%{?dist} Summary: Agda standard libraries Group: Development/Libraries @@ -15,7 +12,6 @@ License: MIT URL: http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary # dl from https://github.com/agda/agda-stdlib/archive/v%{version}.tar.gz Source0: agda-stdlib-%{version}.tar.gz -Source1: http://hackage.haskell.org/package/filemanip-%{filemanip_ver}/filemanip-%{filemanip_ver}.tar.gz BuildRequires: ghc-Cabal-devel %if 0%{?fedora} >= 20 BuildRequires: ghc-rpm-macros-extra @@ -46,23 +42,15 @@ generated by the Agda compiler program. %prep -%setup -q -n agda-stdlib-%{version} -a1 +%setup -q -n agda-stdlib-%{version} %build -HOME=$PWD -%define cabal_configure_options --user -cd filemanip-%{filemanip_ver} -%ghc_lib_build filemanip %{filemanip_ver} -%ghc_lib_install filemanip %{filemanip_ver} -./Setup register --inplace -cd .. - %ghc_bin_build dist/build/GenerateEverything/GenerateEverything cd ffi -%ghc_lib_build agda-lib-ffi %{ffi_ver} +%ghc_lib_build agda-lib-ffi %{version} cd .. agda -i. -isrc Everything.agda @@ -72,7 +60,7 @@ agda --html -i. -isrc README.agda %install HOME=$PWD cd ffi -%ghc_lib_install agda-lib-ffi %{ffi_ver} +%ghc_lib_install agda-lib-ffi %{version} ./Setup register --inplace mv *.files .. cd .. @@ -96,15 +84,20 @@ rm README.agdai README/*.agdai %files -f haskell-ffi.files -%doc CHANGELOG LICENCE README* +%license LICENSE +%doc CHANGELOG README* %{_datadir}/%{name} %files docs -%doc LICENCE html +%license LICENCE +%doc html %changelog +* Mon Oct 24 2016 Jens Petersen - 0.11-3 +- update to 0.11 + * Wed Feb 03 2016 Fedora Release Engineering - 0.9-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild diff --git a/sources b/sources index 45251ea..f56a825 100644 --- a/sources +++ b/sources @@ -1,2 +1 @@ -d22adf380b33b401e786132a4bfc8597 agda-stdlib-0.9.tar.gz -04d23467ce2e7ac0bc9c01c4e0ebd06c filemanip-0.3.6.3.tar.gz +beceb0d239ce694668472e6f3f1dfeff agda-stdlib-0.11.tar.gz From b85b9d0968743b62df7da7a78057542dd63f9b6d Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Fri, 10 Feb 2017 04:59:04 +0000 Subject: [PATCH 10/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 9b933be..443ca24 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -4,7 +4,7 @@ Name: Agda-stdlib Version: 0.11 -Release: 1%{?dist} +Release: 2%{?dist} Summary: Agda standard libraries Group: Development/Libraries @@ -95,6 +95,9 @@ rm README.agdai README/*.agdai %changelog +* Fri Feb 10 2017 Fedora Release Engineering - 0.11-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild + * Mon Oct 24 2016 Jens Petersen - 0.11-3 - update to 0.11 From df36dcd1dffbf5c5e7b51f1b7ee958fd4db74047 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Sun, 12 Mar 2017 22:22:32 +0900 Subject: [PATCH 11/63] update to 0.13 --- .gitignore | 1 + Agda-stdlib.spec | 33 +++++++++++---------------------- sources | 2 +- 3 files changed, 13 insertions(+), 23 deletions(-) diff --git a/.gitignore b/.gitignore index 53e52ea..30739e9 100644 --- a/.gitignore +++ b/.gitignore @@ -2,3 +2,4 @@ /agda-stdlib-0.9.tar.gz /filemanip-0.3.6.3.tar.gz /agda-stdlib-0.11.tar.gz +/agda-stdlib-0.13.tar.gz diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 443ca24..08da79d 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -3,8 +3,8 @@ # - https://fedoraproject.org/wiki/PackagingDrafts/Haskell Name: Agda-stdlib -Version: 0.11 -Release: 2%{?dist} +Version: 0.13 +Release: 1%{?dist} Summary: Agda standard libraries Group: Development/Libraries @@ -49,9 +49,6 @@ generated by the Agda compiler program. %ghc_bin_build dist/build/GenerateEverything/GenerateEverything -cd ffi -%ghc_lib_build agda-lib-ffi %{version} -cd .. agda -i. -isrc Everything.agda agda --html -i. -isrc README.agda @@ -59,33 +56,21 @@ agda --html -i. -isrc README.agda %install HOME=$PWD -cd ffi -%ghc_lib_install agda-lib-ffi %{version} -./Setup register --inplace -mv *.files .. -cd .. -cat ghc-agda-lib-ffi*.files > haskell-ffi.files mkdir -p %{buildroot}%{_datadir}/%{name} cp -pr Everything.agda* src/* %{buildroot}%{_datadir}/%{name} +install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ + %check agda -i. -isrc README.agda rm README.agdai README/*.agdai -%post -%ghc_pkg_recache - - -%postun -%ghc_pkg_recache - - -%files -f haskell-ffi.files -%license LICENSE -%doc CHANGELOG README* +%files +%license LICENCE +%doc CHANGELOG.md README* %{_datadir}/%{name} @@ -95,6 +80,10 @@ rm README.agdai README/*.agdai %changelog +* Sun Mar 12 2017 Jens Petersen - 0.13-1 +- update to 0.13 +- install standard-library.agda-lib package file + * Fri Feb 10 2017 Fedora Release Engineering - 0.11-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild diff --git a/sources b/sources index f56a825..b7a2c08 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -beceb0d239ce694668472e6f3f1dfeff agda-stdlib-0.11.tar.gz +SHA512 (agda-stdlib-0.13.tar.gz) = 340a7b9cb15793cdbe99f558a32eaab3476b94b4d43d45bdc92c6b368197d075c977fd2f6ce0c5b0baf584289a2218b07dd030ad2b83f6d9e4bc7effee91eece From 9c807f8c0251e9237482a4ee7d438b612fc41fca Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Sun, 12 Mar 2017 22:58:46 +0900 Subject: [PATCH 12/63] BR filemanip and more cleanup --- Agda-stdlib.spec | 16 +++------------- 1 file changed, 3 insertions(+), 13 deletions(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 08da79d..4f1fd0c 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -13,15 +13,10 @@ URL: http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.Standar # dl from https://github.com/agda/agda-stdlib/archive/v%{version}.tar.gz Source0: agda-stdlib-%{version}.tar.gz BuildRequires: ghc-Cabal-devel -%if 0%{?fedora} >= 20 -BuildRequires: ghc-rpm-macros-extra -%else -BuildRequires: ghc-rpm-macros -%endif +BuildRequires: ghc-rpm-macros +BuildRequires: ghc-filemanip-devel BuildRequires: Agda -# needed for filemanip -BuildRequires: ghc-unix-compat-devel -# Agda is not building on arm currently +# Agda not building on arm ExcludeArch: armv7hl Obsoletes: ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6 @@ -38,9 +33,6 @@ This package provides the html documentation for the stdlibs generated by the Agda compiler program. -%global debug_package %{nil} - - %prep %setup -q -n agda-stdlib-%{version} @@ -55,8 +47,6 @@ agda --html -i. -isrc README.agda %install -HOME=$PWD - mkdir -p %{buildroot}%{_datadir}/%{name} cp -pr Everything.agda* src/* %{buildroot}%{_datadir}/%{name} From f826a57692a66c2e7701adb7f6a915d2bf5cdc49 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Sun, 19 Mar 2017 23:41:17 +0800 Subject: [PATCH 13/63] put a github # source url --- Agda-stdlib.spec | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 4f1fd0c..cd09aff 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -10,8 +10,7 @@ Summary: Agda standard libraries Group: Development/Libraries License: MIT URL: http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary -# dl from https://github.com/agda/agda-stdlib/archive/v%{version}.tar.gz -Source0: agda-stdlib-%{version}.tar.gz +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 From 100b2592450f93e760d760ef2858e9eba574534c Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Wed, 26 Jul 2017 01:38:52 +0000 Subject: [PATCH 14/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index cd09aff..f094bb8 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -4,7 +4,7 @@ Name: Agda-stdlib Version: 0.13 -Release: 1%{?dist} +Release: 2%{?dist} Summary: Agda standard libraries Group: Development/Libraries @@ -69,6 +69,9 @@ rm README.agdai README/*.agdai %changelog +* Wed Jul 26 2017 Fedora Release Engineering - 0.13-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild + * Sun Mar 12 2017 Jens Petersen - 0.13-1 - update to 0.13 - install standard-library.agda-lib package file From a91c8b4fc87e4e729b158d3d1282c400eca61c92 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Wed, 2 Aug 2017 16:46:47 +0000 Subject: [PATCH 15/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index f094bb8..fcc018c 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -4,7 +4,7 @@ Name: Agda-stdlib Version: 0.13 -Release: 2%{?dist} +Release: 3%{?dist} Summary: Agda standard libraries Group: Development/Libraries @@ -69,6 +69,9 @@ rm README.agdai README/*.agdai %changelog +* Wed Aug 02 2017 Fedora Release Engineering - 0.13-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild + * Wed Jul 26 2017 Fedora Release Engineering - 0.13-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild From 4c8ea3035a8ebe7c89f08e763a25285b74a79a08 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Wed, 7 Feb 2018 00:24:32 +0000 Subject: [PATCH 16/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild Signed-off-by: Fedora Release Engineering --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index fcc018c..fec6111 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -4,7 +4,7 @@ Name: Agda-stdlib Version: 0.13 -Release: 3%{?dist} +Release: 4%{?dist} Summary: Agda standard libraries Group: Development/Libraries @@ -69,6 +69,9 @@ rm README.agdai README/*.agdai %changelog +* Wed Feb 07 2018 Fedora Release Engineering - 0.13-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild + * Wed Aug 02 2017 Fedora Release Engineering - 0.13-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild From ea1ad25e63faeddba9b537db464f263f19f871a7 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Sun, 1 Jul 2018 17:45:39 +0900 Subject: [PATCH 17/63] update to 0.15 --- .gitignore | 1 + Agda-stdlib.spec | 7 +++++-- sources | 2 +- 3 files changed, 7 insertions(+), 3 deletions(-) diff --git a/.gitignore b/.gitignore index 30739e9..47e0370 100644 --- a/.gitignore +++ b/.gitignore @@ -3,3 +3,4 @@ /filemanip-0.3.6.3.tar.gz /agda-stdlib-0.11.tar.gz /agda-stdlib-0.13.tar.gz +/agda-stdlib-0.15.tar.gz diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index fec6111..1f10ab6 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -3,8 +3,8 @@ # - https://fedoraproject.org/wiki/PackagingDrafts/Haskell Name: Agda-stdlib -Version: 0.13 -Release: 4%{?dist} +Version: 0.15 +Release: 1%{?dist} Summary: Agda standard libraries Group: Development/Libraries @@ -69,6 +69,9 @@ rm README.agdai README/*.agdai %changelog +* Sun Jul 1 2018 Jens Petersen - 0.15-1 +- update to 0.15 for Agda-2.5.3 + * Wed Feb 07 2018 Fedora Release Engineering - 0.13-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild diff --git a/sources b/sources index b7a2c08..efedba0 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (agda-stdlib-0.13.tar.gz) = 340a7b9cb15793cdbe99f558a32eaab3476b94b4d43d45bdc92c6b368197d075c977fd2f6ce0c5b0baf584289a2218b07dd030ad2b83f6d9e4bc7effee91eece +SHA512 (agda-stdlib-0.15.tar.gz) = 4274b73ea2fa3bd778e345ee9459fa31c01b47ddf127b733efd572ca65a531ab49bdcd09cff2600b9229aad23cee55324653c62280421676036ff587f64abb4b From 6b177a1c91c693b6ba648b773909ccae96f00b6c Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Thu, 12 Jul 2018 18:54:37 +0000 Subject: [PATCH 18/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild Signed-off-by: Fedora Release Engineering --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 1f10ab6..04c0f1a 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -4,7 +4,7 @@ Name: Agda-stdlib Version: 0.15 -Release: 1%{?dist} +Release: 2%{?dist} Summary: Agda standard libraries Group: Development/Libraries @@ -69,6 +69,9 @@ rm README.agdai README/*.agdai %changelog +* Thu Jul 12 2018 Fedora Release Engineering - 0.15-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild + * Sun Jul 1 2018 Jens Petersen - 0.15-1 - update to 0.15 for Agda-2.5.3 From 262553a3a6e9c27396a8c8b4cfc09a4690dad8f7 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Wed, 22 Aug 2018 23:07:57 +0200 Subject: [PATCH 19/63] install library files correctly under src/ --- Agda-stdlib.spec | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 04c0f1a..08d3cc3 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -4,7 +4,7 @@ Name: Agda-stdlib Version: 0.15 -Release: 2%{?dist} +Release: 3%{?dist} Summary: Agda standard libraries Group: Development/Libraries @@ -47,7 +47,7 @@ agda --html -i. -isrc README.agda %install mkdir -p %{buildroot}%{_datadir}/%{name} -cp -pr Everything.agda* src/* %{buildroot}%{_datadir}/%{name} +cp -pr src %{buildroot}%{_datadir}/%{name} install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ @@ -59,7 +59,7 @@ rm README.agdai README/*.agdai %files %license LICENCE -%doc CHANGELOG.md README* +%doc CHANGELOG.md README* Everything.agda %{_datadir}/%{name} @@ -69,6 +69,9 @@ rm README.agdai README/*.agdai %changelog +* Wed Aug 22 2018 Jens Petersen - 0.15-3 +- install library files correctly under src/ + * Thu Jul 12 2018 Fedora Release Engineering - 0.15-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild From 6fa5d455eedd87d6f45f80281569f71624667d74 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Wed, 29 Aug 2018 01:39:53 +0900 Subject: [PATCH 20/63] require ghc-Agda and keep README*.agdai --- Agda-stdlib.spec | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 08d3cc3..16b61a8 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -1,16 +1,15 @@ -# For Haskell Packaging Guidelines see: -# - https://fedoraproject.org/wiki/Packaging:Haskell -# - https://fedoraproject.org/wiki/PackagingDrafts/Haskell +# https://fedoraproject.org/wiki/Packaging:Haskell Name: Agda-stdlib Version: 0.15 -Release: 3%{?dist} +Release: 4%{?dist} Summary: Agda standard libraries Group: Development/Libraries License: MIT URL: http://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 +# Agda-stdlib (.agdai) is actually noarch, but Agda does not build on armv7hl BuildRequires: ghc-Cabal-devel BuildRequires: ghc-rpm-macros BuildRequires: ghc-filemanip-devel @@ -18,6 +17,7 @@ BuildRequires: Agda # Agda not building on arm ExcludeArch: armv7hl Obsoletes: ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6 +Requires: ghc-Agda = 2.5.3 %description Agda standard libraries @@ -54,7 +54,6 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ %check agda -i. -isrc README.agda -rm README.agdai README/*.agdai %files @@ -69,6 +68,10 @@ rm README.agdai README/*.agdai %changelog +* Tue Aug 28 2018 Jens Petersen - 0.15-4 +- keep README*.agdai +- require ghc-Agda + * Wed Aug 22 2018 Jens Petersen - 0.15-3 - install library files correctly under src/ From 034284fc35b756a873eb91c72b8a3f31c3d842b6 Mon Sep 17 00:00:00 2001 From: Igor Gnatenko Date: Mon, 28 Jan 2019 20:17:38 +0100 Subject: [PATCH 21/63] Remove obsolete Group tag Signed-off-by: Igor Gnatenko --- Agda-stdlib.spec | 1 - 1 file changed, 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 16b61a8..6e55e6f 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -5,7 +5,6 @@ Version: 0.15 Release: 4%{?dist} Summary: Agda standard libraries -Group: Development/Libraries License: MIT URL: http://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 From 053b2eb0d188eba073694fd0a408f0a0ed84d2ce Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Thu, 31 Jan 2019 11:22:22 +0000 Subject: [PATCH 22/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild Signed-off-by: Fedora Release Engineering --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 6e55e6f..b192c25 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -2,7 +2,7 @@ Name: Agda-stdlib Version: 0.15 -Release: 4%{?dist} +Release: 5%{?dist} Summary: Agda standard libraries License: MIT @@ -67,6 +67,9 @@ agda -i. -isrc README.agda %changelog +* Thu Jan 31 2019 Fedora Release Engineering - 0.15-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild + * Tue Aug 28 2018 Jens Petersen - 0.15-4 - keep README*.agdai - require ghc-Agda From dc5818e4dfc99719914627b6f0f278eae07a9ca6 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 25 Feb 2019 10:52:33 +0800 Subject: [PATCH 23/63] update to 0.17 --- .gitignore | 1 + Agda-stdlib.spec | 9 ++++++--- sources | 2 +- 3 files changed, 8 insertions(+), 4 deletions(-) diff --git a/.gitignore b/.gitignore index 47e0370..086f4da 100644 --- a/.gitignore +++ b/.gitignore @@ -4,3 +4,4 @@ /agda-stdlib-0.11.tar.gz /agda-stdlib-0.13.tar.gz /agda-stdlib-0.15.tar.gz +/agda-stdlib-0.17.tar.gz diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index b192c25..253150d 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -1,8 +1,8 @@ # https://fedoraproject.org/wiki/Packaging:Haskell Name: Agda-stdlib -Version: 0.15 -Release: 5%{?dist} +Version: 0.17 +Release: 1%{?dist} Summary: Agda standard libraries License: MIT @@ -16,7 +16,7 @@ BuildRequires: Agda # Agda not building on arm ExcludeArch: armv7hl Obsoletes: ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6 -Requires: ghc-Agda = 2.5.3 +Requires: ghc-Agda = 2.5.4.2 %description Agda standard libraries @@ -67,6 +67,9 @@ agda -i. -isrc README.agda %changelog +* Mon Feb 25 2019 Jens Petersen - 0.17-1 +- update to 0.17 + * Thu Jan 31 2019 Fedora Release Engineering - 0.15-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild diff --git a/sources b/sources index efedba0..a1391c8 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (agda-stdlib-0.15.tar.gz) = 4274b73ea2fa3bd778e345ee9459fa31c01b47ddf127b733efd572ca65a531ab49bdcd09cff2600b9229aad23cee55324653c62280421676036ff587f64abb4b +SHA512 (agda-stdlib-0.17.tar.gz) = 372c2d5c49af290e1f54075bf180826a7e1bdc5be384df6270e7fa21bd4800ab8662ede3ef7cba6a31e13767312b176f842ba9b66d627722e9cd2fcca0b86565 From 55c0e83328877d6c1a78aae626bcf58e27b512be Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Wed, 24 Jul 2019 15:39:40 +0000 Subject: [PATCH 24/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild Signed-off-by: Fedora Release Engineering --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 253150d..ab9e6a1 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -2,7 +2,7 @@ Name: Agda-stdlib Version: 0.17 -Release: 1%{?dist} +Release: 2%{?dist} Summary: Agda standard libraries License: MIT @@ -67,6 +67,9 @@ agda -i. -isrc README.agda %changelog +* Wed Jul 24 2019 Fedora Release Engineering - 0.17-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild + * Mon Feb 25 2019 Jens Petersen - 0.17-1 - update to 0.17 From da1e6e0f1c6143360e295063b920ce7f6116ffe3 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Sat, 17 Aug 2019 12:11:06 +0200 Subject: [PATCH 25/63] update to 1.1 --- .gitignore | 1 + Agda-stdlib.spec | 12 ++++++++---- sources | 2 +- 3 files changed, 10 insertions(+), 5 deletions(-) diff --git a/.gitignore b/.gitignore index 086f4da..4268449 100644 --- a/.gitignore +++ b/.gitignore @@ -5,3 +5,4 @@ /agda-stdlib-0.13.tar.gz /agda-stdlib-0.15.tar.gz /agda-stdlib-0.17.tar.gz +/agda-stdlib-1.1.tar.gz diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index ab9e6a1..bd25184 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -1,8 +1,8 @@ # https://fedoraproject.org/wiki/Packaging:Haskell Name: Agda-stdlib -Version: 0.17 -Release: 2%{?dist} +Version: 1.1 +Release: 1%{?dist} Summary: Agda standard libraries License: MIT @@ -16,7 +16,7 @@ BuildRequires: Agda # Agda not building on arm ExcludeArch: armv7hl Obsoletes: ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6 -Requires: ghc-Agda = 2.5.4.2 +Requires: ghc-Agda = 2.6.0.1 %description Agda standard libraries @@ -38,7 +38,7 @@ generated by the Agda compiler program. %build %ghc_bin_build dist/build/GenerateEverything/GenerateEverything - +HOME=$PWD agda -i. -isrc Everything.agda agda --html -i. -isrc README.agda @@ -52,6 +52,7 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ %check +HOME=$PWD agda -i. -isrc README.agda @@ -67,6 +68,9 @@ agda -i. -isrc README.agda %changelog +* Sat Aug 17 2019 Jens Petersen - 1.1-1 +- update to 1.1 + * Wed Jul 24 2019 Fedora Release Engineering - 0.17-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild diff --git a/sources b/sources index a1391c8..84a58fa 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (agda-stdlib-0.17.tar.gz) = 372c2d5c49af290e1f54075bf180826a7e1bdc5be384df6270e7fa21bd4800ab8662ede3ef7cba6a31e13767312b176f842ba9b66d627722e9cd2fcca0b86565 +SHA512 (agda-stdlib-1.1.tar.gz) = 1d73b6bbac70653b6be13714fdb3c077600ab08809ea8a3741e54d94e1e11294ed5adb30b17cc3073d7942451a53c9a7d005d1c6a4541b78fbfd50fdffe24c74 From 8fd75963dacd06c7518466ef820c0926a6c247e1 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Tue, 20 Aug 2019 22:22:49 +0200 Subject: [PATCH 26/63] use AGDA_DIR instead of HOME to ignore ~/.agda/ defaults --- Agda-stdlib.spec | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index bd25184..8f782af 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -38,7 +38,11 @@ generated by the Agda compiler program. %build %ghc_bin_build dist/build/GenerateEverything/GenerateEverything -HOME=$PWD + +# AGDA_DIR is just to ignore ~/.agda/ defaults +# In 2.6.1 --no-libraries should work for this instead +export AGDA_DIR=$PWD + agda -i. -isrc Everything.agda agda --html -i. -isrc README.agda @@ -52,7 +56,8 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ %check -HOME=$PWD +# in 2.6.1 replace with --no-libraries +export AGDA_DIR=$PWD agda -i. -isrc README.agda From ed74755a2e8bb2f385fc1fa4d12fb2373517a3c0 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Tue, 20 Aug 2019 22:26:46 +0200 Subject: [PATCH 27/63] add upstream issue link --- Agda-stdlib.spec | 1 + 1 file changed, 1 insertion(+) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 8f782af..6bf2aec 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -41,6 +41,7 @@ dist/build/GenerateEverything/GenerateEverything # AGDA_DIR is just to ignore ~/.agda/ defaults # In 2.6.1 --no-libraries should work for this instead +# https://github.com/agda/agda/issues/4000 export AGDA_DIR=$PWD agda -i. -isrc Everything.agda From 011ee613690eab15e67ffe1f32c55a6d896980fc Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Tue, 28 Jan 2020 09:10:55 +0000 Subject: [PATCH 28/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild Signed-off-by: Fedora Release Engineering --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 6bf2aec..64391d2 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -2,7 +2,7 @@ Name: Agda-stdlib Version: 1.1 -Release: 1%{?dist} +Release: 2%{?dist} Summary: Agda standard libraries License: MIT @@ -74,6 +74,9 @@ agda -i. -isrc README.agda %changelog +* Tue Jan 28 2020 Fedora Release Engineering - 1.1-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild + * Sat Aug 17 2019 Jens Petersen - 1.1-1 - update to 1.1 From 60694d6f970efaa5f9bcadeb34718637b756bff2 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Wed, 27 May 2020 01:24:43 +0800 Subject: [PATCH 29/63] update to 1.2 release --- .gitignore | 1 + Agda-stdlib.spec | 8 ++++++-- sources | 2 +- 3 files changed, 8 insertions(+), 3 deletions(-) diff --git a/.gitignore b/.gitignore index 4268449..2220543 100644 --- a/.gitignore +++ b/.gitignore @@ -6,3 +6,4 @@ /agda-stdlib-0.15.tar.gz /agda-stdlib-0.17.tar.gz /agda-stdlib-1.1.tar.gz +/agda-stdlib-1.2.tar.gz diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 64391d2..80d36c1 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -1,8 +1,8 @@ # https://fedoraproject.org/wiki/Packaging:Haskell Name: Agda-stdlib -Version: 1.1 -Release: 2%{?dist} +Version: 1.2 +Release: 1%{?dist} Summary: Agda standard libraries License: MIT @@ -74,6 +74,10 @@ agda -i. -isrc README.agda %changelog +* Tue May 26 2020 Jens Petersen - 1.2-1 +- update to 1.2 +- https://github.com/agda/agda-stdlib/blob/v1.2/CHANGELOG.md + * Tue Jan 28 2020 Fedora Release Engineering - 1.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild diff --git a/sources b/sources index 84a58fa..d189f1a 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (agda-stdlib-1.1.tar.gz) = 1d73b6bbac70653b6be13714fdb3c077600ab08809ea8a3741e54d94e1e11294ed5adb30b17cc3073d7942451a53c9a7d005d1c6a4541b78fbfd50fdffe24c74 +SHA512 (agda-stdlib-1.2.tar.gz) = 0007a591bf8cf5470ec63381b511692afd2e5665b6894a8864b30a17e02e8294a39d1522a815f66ac2e0175502bd6ad8da7f01f55c6900b6923a5140f4b714ca From 474862f3fe5c8548436eb1dea8bacc3e89f24b85 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Wed, 27 May 2020 01:22:35 +0800 Subject: [PATCH 30/63] requires Agda instead of ghc-Agda now --- Agda-stdlib.spec | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 80d36c1..40f5dc6 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -16,7 +16,7 @@ BuildRequires: Agda # Agda not building on arm ExcludeArch: armv7hl Obsoletes: ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6 -Requires: ghc-Agda = 2.6.0.1 +Requires: Agda = 2.6.0.1 %description Agda standard libraries @@ -77,6 +77,7 @@ agda -i. -isrc README.agda * Tue May 26 2020 Jens Petersen - 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 - 1.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild From 538d3cabe072d9bb51203592663e254196acf571 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Sun, 19 Jul 2020 23:30:46 +0800 Subject: [PATCH 31/63] update to 1.3 --- .gitignore | 1 + Agda-stdlib.spec | 21 +++++++++------------ sources | 2 +- 3 files changed, 11 insertions(+), 13 deletions(-) diff --git a/.gitignore b/.gitignore index 2220543..0755c68 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,4 @@ /agda-stdlib-0.17.tar.gz /agda-stdlib-1.1.tar.gz /agda-stdlib-1.2.tar.gz +/agda-stdlib-1.3.tar.gz diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 40f5dc6..af1326d 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -1,7 +1,7 @@ # https://fedoraproject.org/wiki/Packaging:Haskell Name: Agda-stdlib -Version: 1.2 +Version: 1.3 Release: 1%{?dist} Summary: Agda standard libraries @@ -16,7 +16,7 @@ BuildRequires: Agda # Agda not building on arm ExcludeArch: armv7hl Obsoletes: ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6 -Requires: Agda = 2.6.0.1 +Requires: Agda = 2.6.1 %description Agda standard libraries @@ -39,14 +39,10 @@ generated by the Agda compiler program. %ghc_bin_build dist/build/GenerateEverything/GenerateEverything -# AGDA_DIR is just to ignore ~/.agda/ defaults -# In 2.6.1 --no-libraries should work for this instead -# https://github.com/agda/agda/issues/4000 -export AGDA_DIR=$PWD +%global agda agda --no-libraries -i. -isrc +%{agda} Everything.agda -agda -i. -isrc Everything.agda - -agda --html -i. -isrc README.agda +%{agda} --html README.agda %install @@ -57,9 +53,7 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ %check -# in 2.6.1 replace with --no-libraries -export AGDA_DIR=$PWD -agda -i. -isrc README.agda +%{agda} README.agda %files @@ -74,6 +68,9 @@ agda -i. -isrc README.agda %changelog +* Sat Jun 27 2020 Jens Petersen - 1.3-1 +- https://github.com/agda/agda-stdlib/blob/v1.3/CHANGELOG.md + * Tue May 26 2020 Jens Petersen - 1.2-1 - update to 1.2 - https://github.com/agda/agda-stdlib/blob/v1.2/CHANGELOG.md diff --git a/sources b/sources index d189f1a..884eedf 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (agda-stdlib-1.2.tar.gz) = 0007a591bf8cf5470ec63381b511692afd2e5665b6894a8864b30a17e02e8294a39d1522a815f66ac2e0175502bd6ad8da7f01f55c6900b6923a5140f4b714ca +SHA512 (agda-stdlib-1.3.tar.gz) = a1b78bd0e4bbca4cfa8c565cf14f05177cacbb28b63fae98bbdce482bca385a169c7aae0ac14973faf186e812abf7d8af47bfeb80110d9b0f671e1a475dbf109 From cad8a31f37d578726f81c07acee0d3cbb589ccf3 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 20 Jul 2020 13:27:44 +0800 Subject: [PATCH 32/63] make package noarch since Agda now builds on armv7hl --- Agda-stdlib.spec | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index af1326d..6c88645 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -2,19 +2,18 @@ Name: Agda-stdlib Version: 1.3 -Release: 1%{?dist} +Release: 2%{?dist} Summary: Agda standard libraries License: MIT URL: http://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 -# Agda-stdlib (.agdai) is actually noarch, but Agda does not build on armv7hl BuildRequires: ghc-Cabal-devel BuildRequires: ghc-rpm-macros BuildRequires: ghc-filemanip-devel BuildRequires: Agda -# Agda not building on arm -ExcludeArch: armv7hl +# .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.1 @@ -68,6 +67,9 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ %changelog +* Mon Jul 20 2020 Jens Petersen - 1.3-2 +- make package noarch + * Sat Jun 27 2020 Jens Petersen - 1.3-1 - https://github.com/agda/agda-stdlib/blob/v1.3/CHANGELOG.md From 6eb668f239508bebae2a60ae4d73f42181949f1a Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Mon, 27 Jul 2020 10:12:40 +0000 Subject: [PATCH 33/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild Signed-off-by: Fedora Release Engineering --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 6c88645..7165003 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -2,7 +2,7 @@ Name: Agda-stdlib Version: 1.3 -Release: 2%{?dist} +Release: 3%{?dist} Summary: Agda standard libraries License: MIT @@ -67,6 +67,9 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ %changelog +* Mon Jul 27 2020 Fedora Release Engineering - 1.3-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild + * Mon Jul 20 2020 Jens Petersen - 1.3-2 - make package noarch From c7c6fe2383196ade9653ec9e2f063d22e96dfe27 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 24 Aug 2020 19:23:45 +0800 Subject: [PATCH 34/63] include _build/ for .agdai files; move Everything/README to docs --- Agda-stdlib.spec | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 7165003..74d277f 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -2,7 +2,7 @@ Name: Agda-stdlib Version: 1.3 -Release: 3%{?dist} +Release: 4%{?dist} Summary: Agda standard libraries License: MIT @@ -46,7 +46,7 @@ dist/build/GenerateEverything/GenerateEverything %install mkdir -p %{buildroot}%{_datadir}/%{name} -cp -pr src %{buildroot}%{_datadir}/%{name} +cp -pr src _build %{buildroot}%{_datadir}/%{name} install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ @@ -57,16 +57,20 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ %files %license LICENCE -%doc CHANGELOG.md README* Everything.agda +%doc CHANGELOG.md README.md %{_datadir}/%{name} %files docs %license LICENCE +%doc CHANGELOG Everything* HACKING.md README* %doc html - %changelog +* Mon Aug 24 2020 Jens Petersen - 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 - 1.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild From f0832c6a1c4fbd93b2bf770ece49faca6b8ac34f Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Mon, 25 Jan 2021 22:15:36 +0000 Subject: [PATCH 35/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild Signed-off-by: Fedora Release Engineering --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 74d277f..c46844d 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -2,7 +2,7 @@ Name: Agda-stdlib Version: 1.3 -Release: 4%{?dist} +Release: 5%{?dist} Summary: Agda standard libraries License: MIT @@ -67,6 +67,9 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ %doc html %changelog +* Mon Jan 25 2021 Fedora Release Engineering - 1.3-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild + * Mon Aug 24 2020 Jens Petersen - 1.3-4 - Agda-2.6.1 puts .agdai files under _build/ - move Everything and README modules to docs From 580b242b2f1f3427b1f9489c507370e513afd0d8 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Wed, 21 Jul 2021 10:44:02 +0000 Subject: [PATCH 36/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild Signed-off-by: Fedora Release Engineering From 384fc9e25e00c404d1036b05de983ad72516c0c4 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Wed, 21 Jul 2021 15:38:27 +0000 Subject: [PATCH 37/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild Signed-off-by: Fedora Release Engineering --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index c46844d..5a22a4b 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -2,7 +2,7 @@ Name: Agda-stdlib Version: 1.3 -Release: 5%{?dist} +Release: 6%{?dist} Summary: Agda standard libraries License: MIT @@ -67,6 +67,9 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ %doc html %changelog +* Wed Jul 21 2021 Fedora Release Engineering - 1.3-6 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild + * Mon Jan 25 2021 Fedora Release Engineering - 1.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild From 95393059a955a7e58e1499181b6e22b87c9e8f71 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 9 Aug 2021 20:04:03 +0800 Subject: [PATCH 38/63] update to 1.7 --- .gitignore | 1 + Agda-stdlib.spec | 9 ++++++--- sources | 2 +- 3 files changed, 8 insertions(+), 4 deletions(-) diff --git a/.gitignore b/.gitignore index 0755c68..5f76f8a 100644 --- a/.gitignore +++ b/.gitignore @@ -8,3 +8,4 @@ /agda-stdlib-1.1.tar.gz /agda-stdlib-1.2.tar.gz /agda-stdlib-1.3.tar.gz +/agda-stdlib-1.7.tar.gz diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 5a22a4b..c5d4156 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -1,8 +1,8 @@ # https://fedoraproject.org/wiki/Packaging:Haskell Name: Agda-stdlib -Version: 1.3 -Release: 6%{?dist} +Version: 1.7 +Release: 1%{?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.1 +Requires: Agda = 2.6.2 %description Agda standard libraries @@ -67,6 +67,9 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ %doc html %changelog +* Mon Aug 9 2021 Jens Petersen - 1.7-1 +- https://github.com/agda/agda-stdlib/blob/v1.7/CHANGELOG.md + * Wed Jul 21 2021 Fedora Release Engineering - 1.3-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild diff --git a/sources b/sources index 884eedf..78335a9 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (agda-stdlib-1.3.tar.gz) = a1b78bd0e4bbca4cfa8c565cf14f05177cacbb28b63fae98bbdce482bca385a169c7aae0ac14973faf186e812abf7d8af47bfeb80110d9b0f671e1a475dbf109 +SHA512 (agda-stdlib-1.7.tar.gz) = 2ca0bfa1617f01b8994b3a3c9918b74ca9f05908e7a4fdcaf71e8717ec6d8b0e902214bd8ac39c64223f3ad5bee290bd60eb7a0e3492d8609f8f8248f21aea1a From 0efab687511e435b5f4ce80ee04b6175bce39b4d Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 9 Aug 2021 20:02:39 +0800 Subject: [PATCH 39/63] exclude armv7hl --- Agda-stdlib.spec | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index c5d4156..986a3aa 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -16,6 +16,8 @@ BuildRequires: Agda 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 +# Agda can't build on armv7hl currently for f35/ghc-8.10 +ExcludeArch: armv7hl %description Agda standard libraries @@ -69,6 +71,7 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ %changelog * Mon Aug 9 2021 Jens Petersen - 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 - 1.3-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild From f283aec79af6dd428d320ae18311dc419f44ec1c Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Wed, 19 Jan 2022 19:12:50 +0000 Subject: [PATCH 40/63] - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild Signed-off-by: Fedora Release Engineering --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 986a3aa..c64542d 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -2,7 +2,7 @@ Name: Agda-stdlib Version: 1.7 -Release: 1%{?dist} +Release: 2%{?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 19 2022 Fedora Release Engineering - 1.7-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild + * Mon Aug 9 2021 Jens Petersen - 1.7-1 - https://github.com/agda/agda-stdlib/blob/v1.7/CHANGELOG.md - disable armv7hl: no Agda - runs out of memory From 0edd850746f263f05c6b07fdcec1449b7b14f49a Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Wed, 9 Mar 2022 22:35:57 +0800 Subject: [PATCH 41/63] update to 1.7.1 --- .gitignore | 1 + Agda-stdlib.spec | 9 ++++++--- sources | 2 +- 3 files changed, 8 insertions(+), 4 deletions(-) diff --git a/.gitignore b/.gitignore index 5f76f8a..dcf7c83 100644 --- a/.gitignore +++ b/.gitignore @@ -9,3 +9,4 @@ /agda-stdlib-1.2.tar.gz /agda-stdlib-1.3.tar.gz /agda-stdlib-1.7.tar.gz +/agda-stdlib-1.7.1.tar.gz diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index c64542d..149aaaa 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -1,8 +1,8 @@ # https://fedoraproject.org/wiki/Packaging:Haskell Name: Agda-stdlib -Version: 1.7 -Release: 2%{?dist} +Version: 1.7.1 +Release: 1%{?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 +Requires: Agda = 2.6.2.1 # 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 +* Wed Mar 9 2022 Jens Petersen - 1.7.1-1 +- https://github.com/agda/agda-stdlib/blob/v1.7.1/CHANGELOG.md + * Wed Jan 19 2022 Fedora Release Engineering - 1.7-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild diff --git a/sources b/sources index 78335a9..f3ef339 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (agda-stdlib-1.7.tar.gz) = 2ca0bfa1617f01b8994b3a3c9918b74ca9f05908e7a4fdcaf71e8717ec6d8b0e902214bd8ac39c64223f3ad5bee290bd60eb7a0e3492d8609f8f8248f21aea1a +SHA512 (agda-stdlib-1.7.1.tar.gz) = fd0fc0b6a97dd4a51bd0208691800046ecdd200d9e57c83b0c3dae720c2e687942fee7c28be0cfdbdc0e54cefd9c2f1d1a683961bb368a48e5a02bf1bd36866a From a68f6b74d1f9ee46d5dc317693b67e28e67fbb1d Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Tue, 21 Jun 2022 09:49:47 +0800 Subject: [PATCH 42/63] 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 - 1.7.1-2 +- rebuild against Agda-2.6.2.2 + * Wed Mar 9 2022 Jens Petersen - 1.7.1-1 - https://github.com/agda/agda-stdlib/blob/v1.7.1/CHANGELOG.md From 61962e06bfa918e4c3a300d1464cca2534f07410 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Wed, 20 Jul 2022 18:26:09 +0000 Subject: [PATCH 43/63] Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild Signed-off-by: Fedora Release Engineering --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 880dbc6..6a47c35 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -2,7 +2,7 @@ Name: Agda-stdlib Version: 1.7.1 -Release: 2%{?dist} +Release: 3%{?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 Jul 20 2022 Fedora Release Engineering - 1.7.1-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild + * Tue Jun 21 2022 Jens Petersen - 1.7.1-2 - rebuild against Agda-2.6.2.2 From d1ddb2adf850d7bf81550fdb7a5302b5ffacedd1 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Wed, 18 Jan 2023 19:37:21 +0000 Subject: [PATCH 44/63] Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild Signed-off-by: Fedora Release Engineering --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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 - 1.7.1-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild + * Wed Jul 20 2022 Fedora Release Engineering - 1.7.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild From cda1b1b27c8f1821835064ed1f315f62b948a298 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 20 Feb 2023 22:09:45 +0800 Subject: [PATCH 45/63] rebuild --- Agda-stdlib.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 78654aa..2bd3b38 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -2,7 +2,7 @@ Name: Agda-stdlib Version: 1.7.1 -Release: 4%{?dist} +Release: 5%{?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 +* Mon Feb 20 2023 Jens Petersen - 1.7.1-5 +- rebuild + * Wed Jan 18 2023 Fedora Release Engineering - 1.7.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild From 8234f3137c4db41795b3a82e12c190eb62ba3350 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Tue, 21 Feb 2023 12:13:10 +0800 Subject: [PATCH 46/63] also exclude i686 --- Agda-stdlib.spec | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 2bd3b38..eeaa17a 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -16,8 +16,8 @@ BuildRequires: Agda 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 +# Agda can't build on armv7hl/i686 currently +ExcludeArch: armv7hl %{ix86} %description Agda standard libraries From a5c1346b3b4f39d1a64e6ba7b69b37c0a39a28ec Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Tue, 18 Jul 2023 18:31:38 +0800 Subject: [PATCH 47/63] re-enable i686 in line with Agda --- Agda-stdlib.spec | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index eeaa17a..9554cc7 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -16,8 +16,8 @@ BuildRequires: Agda 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/i686 currently -ExcludeArch: armv7hl %{ix86} +# Agda can't build on armv7hl currently +ExcludeArch: armv7hl %description Agda standard libraries From 632744e5afd491a12eb7ea0c8849888792ca2166 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Tue, 18 Jul 2023 18:32:00 +0800 Subject: [PATCH 48/63] Convert to %autorelease and %autochangelog [skip changelog] --- Agda-stdlib.spec | 141 +---------------------------------------------- changelog | 138 ++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 140 insertions(+), 139 deletions(-) create mode 100644 changelog diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 9554cc7..8be2ae5 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -2,7 +2,7 @@ Name: Agda-stdlib Version: 1.7.1 -Release: 5%{?dist} +Release: %autorelease Summary: Agda standard libraries License: MIT @@ -69,141 +69,4 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ %doc html %changelog -* Mon Feb 20 2023 Jens Petersen - 1.7.1-5 -- rebuild - -* Wed Jan 18 2023 Fedora Release Engineering - 1.7.1-4 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild - -* Wed Jul 20 2022 Fedora Release Engineering - 1.7.1-3 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild - -* Tue Jun 21 2022 Jens Petersen - 1.7.1-2 -- rebuild against Agda-2.6.2.2 - -* Wed Mar 9 2022 Jens Petersen - 1.7.1-1 -- https://github.com/agda/agda-stdlib/blob/v1.7.1/CHANGELOG.md - -* Wed Jan 19 2022 Fedora Release Engineering - 1.7-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild - -* Mon Aug 9 2021 Jens Petersen - 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 - 1.3-6 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild - -* Mon Jan 25 2021 Fedora Release Engineering - 1.3-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild - -* Mon Aug 24 2020 Jens Petersen - 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 - 1.3-3 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild - -* Mon Jul 20 2020 Jens Petersen - 1.3-2 -- make package noarch - -* Sat Jun 27 2020 Jens Petersen - 1.3-1 -- https://github.com/agda/agda-stdlib/blob/v1.3/CHANGELOG.md - -* Tue May 26 2020 Jens Petersen - 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 - 1.1-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild - -* Sat Aug 17 2019 Jens Petersen - 1.1-1 -- update to 1.1 - -* Wed Jul 24 2019 Fedora Release Engineering - 0.17-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild - -* Mon Feb 25 2019 Jens Petersen - 0.17-1 -- update to 0.17 - -* Thu Jan 31 2019 Fedora Release Engineering - 0.15-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild - -* Tue Aug 28 2018 Jens Petersen - 0.15-4 -- keep README*.agdai -- require ghc-Agda - -* Wed Aug 22 2018 Jens Petersen - 0.15-3 -- install library files correctly under src/ - -* Thu Jul 12 2018 Fedora Release Engineering - 0.15-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild - -* Sun Jul 1 2018 Jens Petersen - 0.15-1 -- update to 0.15 for Agda-2.5.3 - -* Wed Feb 07 2018 Fedora Release Engineering - 0.13-4 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild - -* Wed Aug 02 2017 Fedora Release Engineering - 0.13-3 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild - -* Wed Jul 26 2017 Fedora Release Engineering - 0.13-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild - -* Sun Mar 12 2017 Jens Petersen - 0.13-1 -- update to 0.13 -- install standard-library.agda-lib package file - -* Fri Feb 10 2017 Fedora Release Engineering - 0.11-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild - -* Mon Oct 24 2016 Jens Petersen - 0.11-3 -- update to 0.11 - -* Wed Feb 03 2016 Fedora Release Engineering - 0.9-3 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild - -* Tue Jun 16 2015 Fedora Release Engineering - 0.9-2 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild - -* Thu Apr 16 2015 Jens Petersen - 0.9-1 -- update to 0.9 -- include ffi lib in main package - -* Fri Aug 15 2014 Fedora Release Engineering - 0.7-5 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild - -* Fri Jun 06 2014 Fedora Release Engineering - 0.7-4 -- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild - -* Wed Feb 5 2014 Jens Petersen - 0.7-3 -- no ghc-rpm-macros-extra on F19 - -* Mon Feb 3 2014 Jens Petersen - 0.7-2 -- only build on arch's where Agda builds - -* Tue Jun 25 2013 Jens Petersen - 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 - 0.6-4 -- move stdlib files to datadir -- subpackage html docs - -* Wed Jul 11 2012 Jens Petersen - 0.6-3 -- subpackage agda-lib-ffi for MAlonzo backend - -* Wed Jul 11 2012 Jens Petersen - 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 - 0.6-1 -- update to 0.6 - -* Sat Jun 4 2011 Fedora Haskell SIG -- initial packaging for Fedora automatically generated by cabal2spec-0.23 +%autochangelog diff --git a/changelog b/changelog new file mode 100644 index 0000000..14c48b6 --- /dev/null +++ b/changelog @@ -0,0 +1,138 @@ +* Mon Feb 20 2023 Jens Petersen - 1.7.1-5 +- rebuild + +* Wed Jan 18 2023 Fedora Release Engineering - 1.7.1-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild + +* Wed Jul 20 2022 Fedora Release Engineering - 1.7.1-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild + +* Tue Jun 21 2022 Jens Petersen - 1.7.1-2 +- rebuild against Agda-2.6.2.2 + +* Wed Mar 9 2022 Jens Petersen - 1.7.1-1 +- https://github.com/agda/agda-stdlib/blob/v1.7.1/CHANGELOG.md + +* Wed Jan 19 2022 Fedora Release Engineering - 1.7-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild + +* Mon Aug 9 2021 Jens Petersen - 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 - 1.3-6 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild + +* Mon Jan 25 2021 Fedora Release Engineering - 1.3-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild + +* Mon Aug 24 2020 Jens Petersen - 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 - 1.3-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild + +* Mon Jul 20 2020 Jens Petersen - 1.3-2 +- make package noarch + +* Sat Jun 27 2020 Jens Petersen - 1.3-1 +- https://github.com/agda/agda-stdlib/blob/v1.3/CHANGELOG.md + +* Tue May 26 2020 Jens Petersen - 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 - 1.1-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild + +* Sat Aug 17 2019 Jens Petersen - 1.1-1 +- update to 1.1 + +* Wed Jul 24 2019 Fedora Release Engineering - 0.17-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild + +* Mon Feb 25 2019 Jens Petersen - 0.17-1 +- update to 0.17 + +* Thu Jan 31 2019 Fedora Release Engineering - 0.15-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild + +* Tue Aug 28 2018 Jens Petersen - 0.15-4 +- keep README*.agdai +- require ghc-Agda + +* Wed Aug 22 2018 Jens Petersen - 0.15-3 +- install library files correctly under src/ + +* Thu Jul 12 2018 Fedora Release Engineering - 0.15-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild + +* Sun Jul 1 2018 Jens Petersen - 0.15-1 +- update to 0.15 for Agda-2.5.3 + +* Wed Feb 07 2018 Fedora Release Engineering - 0.13-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild + +* Wed Aug 02 2017 Fedora Release Engineering - 0.13-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild + +* Wed Jul 26 2017 Fedora Release Engineering - 0.13-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild + +* Sun Mar 12 2017 Jens Petersen - 0.13-1 +- update to 0.13 +- install standard-library.agda-lib package file + +* Fri Feb 10 2017 Fedora Release Engineering - 0.11-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild + +* Mon Oct 24 2016 Jens Petersen - 0.11-3 +- update to 0.11 + +* Wed Feb 03 2016 Fedora Release Engineering - 0.9-3 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild + +* Tue Jun 16 2015 Fedora Release Engineering - 0.9-2 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild + +* Thu Apr 16 2015 Jens Petersen - 0.9-1 +- update to 0.9 +- include ffi lib in main package + +* Fri Aug 15 2014 Fedora Release Engineering - 0.7-5 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild + +* Fri Jun 06 2014 Fedora Release Engineering - 0.7-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild + +* Wed Feb 5 2014 Jens Petersen - 0.7-3 +- no ghc-rpm-macros-extra on F19 + +* Mon Feb 3 2014 Jens Petersen - 0.7-2 +- only build on arch's where Agda builds + +* Tue Jun 25 2013 Jens Petersen - 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 - 0.6-4 +- move stdlib files to datadir +- subpackage html docs + +* Wed Jul 11 2012 Jens Petersen - 0.6-3 +- subpackage agda-lib-ffi for MAlonzo backend + +* Wed Jul 11 2012 Jens Petersen - 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 - 0.6-1 +- update to 0.6 + +* Sat Jun 4 2011 Fedora Haskell SIG +- initial packaging for Fedora automatically generated by cabal2spec-0.23 From e390a0e2dcd19771fcbdbb6910406c9e786a25d5 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Wed, 19 Jul 2023 10:57:21 +0000 Subject: [PATCH 49/63] Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild Signed-off-by: Fedora Release Engineering From ed3cf90519ab9b4519eaa08b23aa56e0424f3765 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Fri, 28 Jul 2023 12:03:20 +0800 Subject: [PATCH 50/63] https://github.com/agda/agda-stdlib/blob/v1.7.2/CHANGELOG.md --- .gitignore | 1 + Agda-stdlib.spec | 6 +++--- sources | 2 +- 3 files changed, 5 insertions(+), 4 deletions(-) diff --git a/.gitignore b/.gitignore index dcf7c83..6fede6d 100644 --- a/.gitignore +++ b/.gitignore @@ -10,3 +10,4 @@ /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 diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 8be2ae5..a9170d8 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -1,7 +1,7 @@ # https://fedoraproject.org/wiki/Packaging:Haskell Name: Agda-stdlib -Version: 1.7.1 +Version: 1.7.2 Release: %autorelease Summary: Agda standard libraries @@ -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.2 +Requires: Agda = 2.6.3 # Agda can't build on armv7hl currently ExcludeArch: armv7hl @@ -54,7 +54,7 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/ %check -%{agda} README.agda +LANG=C.utf8 %{agda} README.agda %files diff --git a/sources b/sources index f3ef339..6cfa965 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (agda-stdlib-1.7.1.tar.gz) = fd0fc0b6a97dd4a51bd0208691800046ecdd200d9e57c83b0c3dae720c2e687942fee7c28be0cfdbdc0e54cefd9c2f1d1a683961bb368a48e5a02bf1bd36866a +SHA512 (agda-stdlib-1.7.2.tar.gz) = 518a7241df74bea217ebd80e753fdafaa05f5b4acf5e0df6202c8027dcd3906282335cfa5becf8484c9e06ef7eb335c7c3f1685e36106e229cca0551ba7748f2 From 134609802c850d6957589d37a467d6d919628567 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 9 Oct 2023 22:41:23 +0800 Subject: [PATCH 51/63] update to 1.7.3 for Agda 2.6.4 https://github.com/agda/agda-stdlib/blob/v1.7.3/CHANGELOG.md Agda no longer build on i686 --- .gitignore | 1 + Agda-stdlib.spec | 9 +++++---- sources | 2 +- 3 files changed, 7 insertions(+), 5 deletions(-) diff --git a/.gitignore b/.gitignore index 6fede6d..65e645d 100644 --- a/.gitignore +++ b/.gitignore @@ -11,3 +11,4 @@ /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 diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index a9170d8..5d5bfb7 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -1,7 +1,7 @@ # https://fedoraproject.org/wiki/Packaging:Haskell Name: Agda-stdlib -Version: 1.7.2 +Version: 1.7.3 Release: %autorelease Summary: Agda standard libraries @@ -15,9 +15,10 @@ 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.3 -# Agda can't build on armv7hl currently -ExcludeArch: armv7hl +Provides: agda-stdlib = %{version}-%{release} +Requires: Agda = 2.6.4 +# Agda can't build on armv7hl and ix86 currently +ExcludeArch: armv7hl %{ix86} %description Agda standard libraries diff --git a/sources b/sources index 6cfa965..f479af9 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (agda-stdlib-1.7.2.tar.gz) = 518a7241df74bea217ebd80e753fdafaa05f5b4acf5e0df6202c8027dcd3906282335cfa5becf8484c9e06ef7eb335c7c3f1685e36106e229cca0551ba7748f2 +SHA512 (agda-stdlib-1.7.3.tar.gz) = 23649e41bf52df03a448e9395360e4a1eb815940a48ae6d86e16681ecd756be6129059b8f90f78bba7aa79e7668cccca5a2f7cb39c2b920ae043b257fdbfc120 From 2ec84682504ecfd0e8e70db3c6085ffcd509355f Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Thu, 7 Dec 2023 19:32:07 +0530 Subject: [PATCH 52/63] 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} From 347cc35a1c7b8a662a7ecaf10629e8285522dd16 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Thu, 18 Jan 2024 12:06:27 +0000 Subject: [PATCH 53/63] Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild From d449a9368bd33f0fd13e0e4f8cefa7b77398c312 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Fri, 19 Jan 2024 09:12:06 +0000 Subject: [PATCH 54/63] Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild From 98c46c32fa0eabe71737721e377ef91bea6c46a4 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Mon, 22 Jan 2024 20:43:26 +0000 Subject: [PATCH 55/63] Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild From 3d0775fd366d83ab6068a2f13069b9dd1b7578a1 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Sat, 18 May 2024 19:58:20 +0800 Subject: [PATCH 56/63] rebuild for Agda 2.6.4.3 --- Agda-stdlib.spec | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 5af15a7..6137a51 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -6,7 +6,7 @@ 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 @@ -14,9 +14,8 @@ BuildRequires: ghc-filemanip-devel 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 Provides: agda-stdlib = %{version}-%{release} -Requires: Agda = 2.6.4.1 +Requires: Agda = 2.6.4.3 # Agda can't build on armv7hl and ix86 currently ExcludeArch: armv7hl %{ix86} From 6a21abb43482f14eef53db98dda3d3f4f8e65c68 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Wed, 17 Jul 2024 14:43:02 +0000 Subject: [PATCH 57/63] Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild From 014497740bd61d8235de076c60a3c7381d9d58c0 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Thu, 16 Jan 2025 08:23:46 +0000 Subject: [PATCH 58/63] Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild From 45f49e4ca81fd1471094c648bf520743a3d1add1 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Mon, 20 Jan 2025 07:20:04 +0000 Subject: [PATCH 59/63] Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild From f703605e37997c76bbe01b1456833a6955ba3251 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 14 Apr 2025 20:09:22 +0800 Subject: [PATCH 60/63] update to 2.1.1 with Agda-2.7.0.1 fixup README building html/check: https://github.com/agda/agda-stdlib/issues/2697 --- .gitignore | 1 + Agda-stdlib.spec | 12 +++++++----- sources | 2 +- 3 files changed, 9 insertions(+), 6 deletions(-) diff --git a/.gitignore b/.gitignore index 65e645d..4eb1b94 100644 --- a/.gitignore +++ b/.gitignore @@ -12,3 +12,4 @@ /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 diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 6137a51..9bdd96b 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -1,7 +1,9 @@ # https://fedoraproject.org/wiki/Packaging:Haskell +%global Agda_version 2.7.0.1 + Name: Agda-stdlib -Version: 1.7.3 +Version: 2.1.1 Release: %autorelease Summary: Agda standard libraries @@ -11,11 +13,11 @@ Source0: https://github.com/agda/agda-stdlib/archive/v%{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 Provides: agda-stdlib = %{version}-%{release} -Requires: Agda = 2.6.4.3 +Requires: Agda = %{Agda_version} # Agda can't build on armv7hl and ix86 currently ExcludeArch: armv7hl %{ix86} @@ -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 -LANG=C.utf8 %{agda} README.agda +LANG=C.utf8 %{agda} -idoc doc/README.agda %files diff --git a/sources b/sources index f479af9..c41ebbe 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (agda-stdlib-1.7.3.tar.gz) = 23649e41bf52df03a448e9395360e4a1eb815940a48ae6d86e16681ecd756be6129059b8f90f78bba7aa79e7668cccca5a2f7cb39c2b920ae043b257fdbfc120 +SHA512 (agda-stdlib-2.1.1.tar.gz) = e36371676ab2b1d85e7a98daed10ae7427621c358b24821d761b6974b7de21015a14bb92a792acec2f3faddccc7ee18591f6307ae3b6a4a666c3108e4d2c9726 From c3c8c6b485bb977f6b904c537ad255711e17cdee Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Wed, 23 Jul 2025 15:41:09 +0000 Subject: [PATCH 61/63] Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild From 52f1ede6b8a79706b072e83f67d977d7e2520be4 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 11 Aug 2025 17:35:31 +0800 Subject: [PATCH 62/63] https://github.com/agda/agda-stdlib/blob/v2.3/CHANGELOG.md --- .gitignore | 1 + Agda-stdlib.spec | 4 ++-- sources | 2 +- 3 files changed, 4 insertions(+), 3 deletions(-) diff --git a/.gitignore b/.gitignore index 4eb1b94..7a73e11 100644 --- a/.gitignore +++ b/.gitignore @@ -13,3 +13,4 @@ /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 diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec index 9bdd96b..0066267 100644 --- a/Agda-stdlib.spec +++ b/Agda-stdlib.spec @@ -1,9 +1,9 @@ # https://fedoraproject.org/wiki/Packaging:Haskell -%global Agda_version 2.7.0.1 +%global Agda_version 2.8.0 Name: Agda-stdlib -Version: 2.1.1 +Version: 2.3 Release: %autorelease Summary: Agda standard libraries diff --git a/sources b/sources index c41ebbe..2e6286c 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (agda-stdlib-2.1.1.tar.gz) = e36371676ab2b1d85e7a98daed10ae7427621c358b24821d761b6974b7de21015a14bb92a792acec2f3faddccc7ee18591f6307ae3b6a4a666c3108e4d2c9726 +SHA512 (agda-stdlib-2.3.tar.gz) = 02cad3a8d3cccc2f89f41b9486c9ab86f5784261f02425600b2a03a868cea02c2a21408f2cb588de361d76c167ffdf86a5511264b156ddd9d6e01593de687182 From fef6782f214d737fabad2eaf517b74b0b224c26f Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Fri, 16 Jan 2026 02:27:29 +0000 Subject: [PATCH 63/63] Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild