From 1072e256534f4cb1a3d78e6cd2afcc9d80cac3ce Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Mon, 27 Feb 2017 07:49:02 +0900
Subject: [PATCH] update to 2.5.2

---
 .gitignore |  1 +
 Agda.spec  | 15 +++++++++++----
 sources    |  3 +--
 3 files changed, 13 insertions(+), 6 deletions(-)

diff --git a/.gitignore b/.gitignore
index fe39c94..25d8d97 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,4 @@
 /Agda-2.4.2.2.tar.gz
 /geniplate-mirror-0.7.4.tar.gz
 /Agda-2.4.2.5.tar.gz
+/Agda-2.5.2.tar.gz
diff --git a/Agda.spec b/Agda.spec
index ea9b152..9ad2a79 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -12,8 +12,8 @@
 %endif
 
 Name:           %{pkg_name}
-Version:        2.4.2.5
-Release:        3%{?dist}
+Version:        2.5.2
+Release:        1%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
 License:        MIT and BSD
@@ -29,7 +29,7 @@ BuildRequires:  ghc-rpm-macros-extra
 BuildRequires:  alex
 BuildRequires:  chrpath
 BuildRequires:  cpphs
-BuildRequires:  ghc-QuickCheck-devel
+BuildRequires:  ghc-EdisonCore-devel
 BuildRequires:  ghc-array-devel
 BuildRequires:  ghc-binary-devel
 BuildRequires:  ghc-boxes-devel
@@ -42,14 +42,18 @@ BuildRequires:  ghc-edit-distance-devel
 BuildRequires:  ghc-equivalence-devel
 BuildRequires:  ghc-filepath-devel
 #BuildRequires:  ghc-geniplate-mirror-devel
+BuildRequires:  ghc-gitrev-devel
 BuildRequires:  ghc-hashable-devel
 BuildRequires:  ghc-hashtables-devel
 BuildRequires:  ghc-haskeline-devel
-BuildRequires:  ghc-haskell-src-exts-devel
+BuildRequires:  ghc-ieee754-devel
+BuildRequires:  ghc-monadplus-devel
 BuildRequires:  ghc-mtl-devel
+BuildRequires:  ghc-murmur-hash-devel
 BuildRequires:  ghc-parallel-devel
 BuildRequires:  ghc-pretty-devel
 BuildRequires:  ghc-process-devel
+BuildRequires:  ghc-regex-tdfa-devel
 BuildRequires:  ghc-strict-devel
 BuildRequires:  ghc-template-haskell-devel
 BuildRequires:  ghc-text-devel
@@ -204,6 +208,9 @@ mv %{buildroot}%{_defaultlicensedir}/{,ghc-}%{name}
 
 
 %changelog
+* Sun Feb 26 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-1
+- update to 2.5.2
+
 * Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.4.2.5-3
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
 
diff --git a/sources b/sources
index b26e20d..89bd7d7 100644
--- a/sources
+++ b/sources
@@ -1,2 +1 @@
-42ddbc4da5d6dc4d6575fe16dffade91  geniplate-mirror-0.7.4.tar.gz
-225633ca20a33c099d8490987392513d  Agda-2.4.2.5.tar.gz
+SHA512 (Agda-2.5.2.tar.gz) = 39ec73316eb7409f7f2618e86a9a3a2c420c93470bf46a1c37a4c4753c6c831d2d6da9ba007086ddee9defd481a695bf142a0a7d360dfa01bdb1fb92467af164