diff --git a/Agda.spec b/Agda.spec index 3f03e51..e447b87 100644 --- a/Agda.spec +++ b/Agda.spec @@ -17,7 +17,7 @@ Name: %{pkg_name} Version: 2.6.1 # can only be reset when all subpkgs bumped -Release: 26%{?dist} +Release: 27%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD @@ -251,6 +251,10 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode %changelog +* Fri Jul 31 2020 Fedora Release Engineering - 2.6.1-27 +- Second attempt - Rebuilt for + https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild + * Mon Jul 27 2020 Jeff Law - 2.6.1-26 - Disable LTO on s390