[Agda] update to 2.3.2.2

[Jens Petersen]

commit 039fa0882f4f390b506c57f2e4acd950665e3999
Author: Jens Petersen <petersen at redhat.com>
Date:   Thu Oct 31 18:29:45 2013 +0900

    update to 2.3.2.2

 .gitignore |    1 +
 Agda.spec  |   14 +++++++++-----
 sources    |    2 +-
 3 files changed, 11 insertions(+), 6 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index eca3548..5c86783 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /Agda-executable-2.3.0.1.tar.gz
 /Agda-2.3.2.1.tar.gz
+/Agda-2.3.2.2.tar.gz
diff --git a/Agda.spec b/Agda.spec
index a5f24e2..0f7ea9b 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -3,8 +3,8 @@
 %global pkg_name Agda
 
 Name:           %{pkg_name}
-Version:        2.3.2.1
-Release:        5%{?dist}
+Version:        2.3.2.2
+Release:        1%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
 License:        MIT and BSD
@@ -15,6 +15,8 @@ Source1:        agda-mode-init.el
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-rpm-macros
 # Begin cabal-rpm deps:
+BuildRequires:  alex
+BuildRequires:  chrpath
 BuildRequires:  ghc-QuickCheck-devel
 BuildRequires:  ghc-array-devel
 BuildRequires:  ghc-binary-devel
@@ -37,10 +39,8 @@ BuildRequires:  ghc-text-devel
 BuildRequires:  ghc-unordered-containers-devel
 BuildRequires:  ghc-xhtml-devel
 BuildRequires:  ghc-zlib-devel
-BuildRequires:  alex
 BuildRequires:  happy
 # End cabal-rpm deps
-BuildRequires:  chrpath
 BuildRequires:  emacs(bin)
 ExcludeArch:    armv7hl
 Requires:       ghc-%{name}-devel = %{version}-%{release}
@@ -69,10 +69,11 @@ This package provides the Haskell %{name} shared library.
 
 %package -n ghc-%{name}-devel
 Summary:        Haskell %{name} library development files
+Provides:       ghc-%{name}-static = %{version}-%{release}
 Requires:       ghc-compiler = %{ghc_version}
 Requires(post): ghc-compiler = %{ghc_version}
 Requires(postun): ghc-compiler = %{ghc_version}
-Requires:       ghc-%{name} = %{version}-%{release}
+Requires:       ghc-%{name}%{?_isa} = %{version}-%{release}
 Obsoletes:      Agda < 2.3.1
 
 %description -n ghc-%{name}-devel
@@ -212,6 +213,9 @@ rm %{buildroot}%{_pkgdocdir}/LICENSE
 
 
 %changelog
+* Thu Oct 31 2013 Jens Petersen <petersen at redhat.com> - 2.3.2.2-1
+- update to 2.3.2.2
+
 * Mon Sep  2 2013 Jens Petersen <petersen at redhat.com> - 2.3.2.1-5
 - drop defattr's
 
diff --git a/sources b/sources
index 8b39e03..fe21caa 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-b3549b00b8643426a09e94461764cf26  Agda-2.3.2.1.tar.gz
+ec8cc8bcf6efcaf8d684bc8da6356a1c  Agda-2.3.2.2.tar.gz