diff --git a/Agda.spec b/Agda.spec index e320fa6..b17006c 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: 24%{?dist} +Release: 25%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD @@ -247,6 +247,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode %changelog +* Mon Jul 27 2020 Fedora Release Engineering - 2.6.1-25 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild + * Mon Jul 20 2020 Jens Petersen - 2.6.1-24 - enable armv7hl with -O0