diff --git a/Agda.spec b/Agda.spec index 7785290..9010693 100644 --- a/Agda.spec +++ b/Agda.spec @@ -16,7 +16,7 @@ Name: %{pkg_name} Version: 2.6.1 # can only be reset when all subpkgs bumped -Release: 30%{?dist} +Release: 31%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD @@ -241,6 +241,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode %changelog +* Wed Jul 21 2021 Fedora Release Engineering - 2.6.1-31 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild + * Mon Jan 25 2021 Fedora Release Engineering - 2.6.1-30 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild