[ghc-Agda] rebuild

[Jens Petersen]

commit 82cd1ad7c9110fa8365431498e906367184b29cb
Author: Jens Petersen <petersen at redhat.com>
Date:   Thu Jun 21 19:38:52 2012 +0900

    rebuild

 ghc-Agda.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/ghc-Agda.spec b/ghc-Agda.spec
index 6bf2fe0..3cd72eb 100644
--- a/ghc-Agda.spec
+++ b/ghc-Agda.spec
@@ -22,7 +22,7 @@ proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
 
 Name:           ghc-%{pkg_name}
 Version:        2.3.0.1
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        Dependently typed functional programming language
 
 Group:          Development/Languages
@@ -147,6 +147,9 @@ echo %{_datadir}/%{pkg_name}-%{version}/Agda.css >> ghc-%{pkg_name}.files
 
 
 %changelog
+* Thu Jun 21 2012 Jens Petersen <petersen at redhat.com> - 2.3.0.1-4
+- rebuild
+
 * Mon Jun 11 2012 Jens Petersen <petersen at redhat.com> - 2.3.0.1-3
 - allow building with mtl-2.1