From f703605e37997c76bbe01b1456833a6955ba3251 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Mon, 14 Apr 2025 20:09:22 +0800 Subject: [PATCH 1/4] 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 2/4] 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 3/4] 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 4/4] Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild