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