petersen pushed to Agda (f22). "update to 2.4.2.2"

[notifications at fedoraproject.org]

>From 6984fbff07cc6f220c717c7d774acf13d66c1ff8 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen at redhat.com>
Date: Fri, 3 Apr 2015 13:25:00 +0900
Subject: update to 2.4.2.2


diff --git a/.gitignore b/.gitignore
index 5c0a806..f86f892 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@
 /Agda-2.3.2.1.tar.gz
 /Agda-2.3.2.2.tar.gz
 /Agda-2.4.2.tar.gz
+/Agda-2.4.2.2.tar.gz
diff --git a/Agda.spec b/Agda.spec
index 98f406e..9e2750e 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -3,7 +3,7 @@
 %global pkg_name Agda
 
 Name:           %{pkg_name}
-Version:        2.4.2
+Version:        2.4.2.2
 Release:        1%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
@@ -40,6 +40,7 @@ BuildRequires:  ghc-parallel-devel
 BuildRequires:  ghc-pretty-devel
 BuildRequires:  ghc-process-devel
 BuildRequires:  ghc-strict-devel
+BuildRequires:  ghc-template-haskell-devel
 BuildRequires:  ghc-text-devel
 BuildRequires:  ghc-time-devel
 BuildRequires:  ghc-transformers-devel
@@ -47,6 +48,7 @@ BuildRequires:  ghc-unordered-containers-devel
 BuildRequires:  ghc-xhtml-devel
 BuildRequires:  ghc-zlib-devel
 BuildRequires:  happy
+ExclusiveArch:  %{ghc_arches_with_ghci}
 # End cabal-rpm deps
 BuildRequires:  emacs(bin)
 # geniplate uses template-haskell
@@ -214,6 +216,9 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
 
 
 %changelog
+* Fri Apr 03 2015 Jens Petersen <petersen at redhat.com> - 2.4.2.2-1
+- update to 2.4.2.2
+
 * Fri Feb  6 2015 Jens Petersen <petersen at redhat.com> - 2.4.2-1
 - update to 2.4.2
 - needs new deps: STMonadTrans, boxes, data-hash, equivalence,
diff --git a/sources b/sources
index 67add1d..d1621b7 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-2565906cfea2ee85cfb31184fa2cec7a  Agda-2.4.2.tar.gz
+3608c4305d32af66807c8189ffc719f5  Agda-2.4.2.2.tar.gz
-- 
cgit v0.10.2


	http://pkgs.fedoraproject.org/cgit/Agda.git/commit/?h=f22&id=6984fbff07cc6f220c717c7d774acf13d66c1ff8