From 0ecfc193f98fc3c431f45ecef135f068dbdbb5ab Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Mon, 2 Sep 2013 12:36:28 +0900
Subject: [PATCH] rebuild

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

diff --git a/Agda.spec b/Agda.spec
index e30d303..19740bf 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -4,7 +4,7 @@
 
 Name:           %{pkg_name}
 Version:        2.3.2.1
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
 License:        MIT and BSD
@@ -214,6 +214,9 @@ rm %{buildroot}%{_pkgdocdir}/LICENSE
 
 
 %changelog
+* Mon Sep  2 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-5
+- rebuild
+
 * Thu Aug 29 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-4
 - emacs agda-mode no longer depends on haskell-mode since 2.3.2