From feccefbb571bb85173935d5fa41043fcde03aac3 Mon Sep 17 00:00:00 2001 From: Pete Walter Date: Mon, 9 Dec 2024 15:48:52 +0000 Subject: [PATCH] Rebuild for ICU 76 --- Agda.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda.spec b/Agda.spec index 3911a6b..b004147 100644 --- a/Agda.spec +++ b/Agda.spec @@ -16,7 +16,7 @@ Name: %{pkg_name} Version: 2.6.4.3 # can only be reset when all subpkgs bumped -Release: 50%{?dist} +Release: 51%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT AND BSD-3-Clause @@ -330,6 +330,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode %changelog +* Mon Dec 09 2024 Pete Walter - 2.6.4.3-51 +- Rebuild for ICU 76 + * Sun Jul 21 2024 Jens Petersen - 2.6.4.3-50 - update vector-hashtables to 0.1.2.0