[Agda] - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

[Dennis Gilmore]

commit 5c578a52e9bb3e567dc3c55a9ce88f93605638f4
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Wed Jul 18 07:49:21 2012 -0500

    - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

 Agda.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/Agda.spec b/Agda.spec
index cb9a3ed..7eed7c1 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -6,7 +6,7 @@
 
 Name:           Agda
 Version:        2.3.0.1
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Dependently typed programming language command-line
 
 License:        MIT
@@ -45,6 +45,9 @@ For the interactive environment please install emacs-agda instead.
 
 
 %changelog
+* Wed Jul 18 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.3.0.1-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
+
 * Tue Jul 10 2012 Jens Petersen <petersen at redhat.com> - 2.3.0.1-1
 - update to 2.3.0.1 and cabal2spec-0.25