diff --git a/Agda.spec b/Agda.spec
index 4c636ce..6da1b4b 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -5,7 +5,7 @@
 
 Name:           Agda
 Version:        2.3.0.1
-Release:        6%{?dist}
+Release:        7%{?dist}
 Summary:        Command-line program for type-checking and compiling Agda programs
 
 License:        MIT
@@ -42,6 +42,9 @@ For the interactive environment please install emacs-agda instead.
 
 
 %changelog
+* Fri Mar 22 2013 Jens Petersen <petersen@redhat.com> - 2.3.0.1-7
+- rebuild
+
 * Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0.1-6
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild