From 1d37c18ef842dfcaa12dd5741cd5c1cce3328b43 Mon Sep 17 00:00:00 2001
From: Dennis Gilmore <dennis@ausil.us>
Date: Jun 16 2015 22:40:57 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild


---

diff --git a/Agda.spec b/Agda.spec
index 29bff28..8903c1e 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -4,7 +4,7 @@
 
 Name:           %{pkg_name}
 Version:        2.4.2.2
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
 License:        MIT and BSD
@@ -222,6 +222,9 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
 
 
 %changelog
+* Tue Jun 16 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4.2.2-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
+
 * Fri Apr 17 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-3
 - move agda from ghc-Agda-devel to ghc-Agda