diff --git a/Agda.spec b/Agda.spec index 48a899e..f01913e 100644 --- a/Agda.spec +++ b/Agda.spec @@ -19,7 +19,7 @@ Name: %{pkg_name} Version: 2.6.0.1 # can only be reset when all subpkgs bumped -Release: 19%{?dist} +Release: 20%{?dist} Summary: A dependently typed functional programming language and proof assistant License: MIT and BSD @@ -273,6 +273,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode %changelog +* Tue Jan 28 2020 Fedora Release Engineering - 2.6.0.1-20 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild + * Thu Jul 25 2019 Jens Petersen - 2.6.0.1-19 - update to 2.6.0.1 - disable prof for i686