From ec50775e58338bca827aeaad568bfcccc2547a4a Mon Sep 17 00:00:00 2001
From: Dennis Gilmore <dennis@ausil.us>
Date: Wed, 3 Feb 2016 15:18:58 +0000
Subject: [PATCH] - Rebuilt for
 https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

---
 Agda.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Agda.spec b/Agda.spec
index c85a468..75dceda 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -4,7 +4,7 @@
 
 Name:           %{pkg_name}
 Version:        2.4.2.2
-Release:        5%{?dist}
+Release:        6%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
 License:        MIT and BSD
@@ -186,6 +186,9 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
 
 
 %changelog
+* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 2.4.2.2-6
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
+
 * Wed Jul 22 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-5
 - drop emacs subpackages (#1234569)