From cf73a92b37a360e03659d48433675d2ac415d9e2 Mon Sep 17 00:00:00 2001
From: Dennis Gilmore <dennis@ausil.us>
Date: Tue, 16 Jun 2015 22:41:06 +0000
Subject: [PATCH] - Rebuilt for
 https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

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

diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 596b62d..155911c 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -7,7 +7,7 @@
 
 Name:           Agda-stdlib
 Version:        0.9
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Agda standard libraries
 
 Group:          Development/Libraries
@@ -106,6 +106,9 @@ rm README.agdai README/*.agdai
 
 
 %changelog
+* Tue Jun 16 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
+
 * Thu Apr 16 2015 Jens Petersen <petersen@redhat.com> - 0.9-1
 - update to 0.9
 - include ffi lib in main package