update to 2.5.2

.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

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
 

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