diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 155911c..071f8cf 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -7,7 +7,7 @@
 
 Name:           Agda-stdlib
 Version:        0.9
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Agda standard libraries
 
 Group:          Development/Libraries
@@ -106,6 +106,9 @@ rm README.agdai README/*.agdai
 
 
 %changelog
+* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
+
 * 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