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