From 24e46c692e379218b6e90b3bbec2f294fd018bc5 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Wed, 19 Jan 2022 19:12:40 +0000 Subject: [PATCH] - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild Signed-off-by: Fedora Release Engineering --- Agda.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Agda.spec b/Agda.spec index 8acf996..4ccbb35 100644 --- a/Agda.spec +++ b/Agda.spec @@ -16,7 +16,7 @@ Name: %{pkg_name} Version: 2.6.2 # can only be reset when all subpkgs bumped -Release: 33%{?dist} +Release: 34%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD @@ -262,6 +262,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode %changelog +* Wed Jan 19 2022 Fedora Release Engineering - 2.6.2-34 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild + * Sat Jan 08 2022 Miro HronĨok - 2.6.2-33 - Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34