releng pushed to Agda (master). "- Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild (..more)"

Notification time stamped 2020-07-31 23:50:50 UTC

From e0dc3e164114587b9a44b0dde007955c9bf5536a Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering 
Date: Jul 31 2020 23:50:46 +0000
Subject: - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Signed-off-by: Fedora Release Engineering

---

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

https://src.fedoraproject.org/rpms/Agda/c/e0dc3e164114587b9a44b0dde007955c9b...