From 5d5c715600437bc5aa9f569642b1c35f2ff9aa7d Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Thu, 5 Aug 2021 00:43:55 +0800
Subject: [PATCH] update to 2.6.2

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

diff --git a/.gitignore b/.gitignore
index 325d083..5da85e9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,3 +23,5 @@
 /Agda-2.6.1.tar.gz
 /Agda-2.6.1.3.tar.gz
 /geniplate-mirror-0.7.7.tar.gz
+/Agda-2.6.2.tar.gz
+/geniplate-mirror-0.7.8.tar.gz
diff --git a/Agda.spec b/Agda.spec
index d6acb2e..47659db 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -9,12 +9,12 @@
 %global pkg_name Agda
 %global pkgver %{pkg_name}-%{version}
 
-%global geniplatemirror geniplate-mirror-0.7.7
+%global geniplatemirror geniplate-mirror-0.7.8
 %global murmurhash murmur-hash-0.1.0.9
 %global subpkgs %{geniplatemirror} %{murmurhash}
 
 Name:           %{pkg_name}
-Version:        2.6.1.3
+Version:        2.6.2
 # can only be reset when all subpkgs bumped
 Release:        32%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
@@ -39,6 +39,7 @@ BuildRequires:  ghc-binary-prof
 BuildRequires:  ghc-blaze-html-prof
 BuildRequires:  ghc-boxes-prof
 BuildRequires:  ghc-bytestring-prof
+BuildRequires:  ghc-case-insensitive-prof
 BuildRequires:  ghc-containers-prof
 BuildRequires:  ghc-data-hash-prof
 BuildRequires:  ghc-deepseq-prof
@@ -47,15 +48,15 @@ BuildRequires:  ghc-edit-distance-prof
 BuildRequires:  ghc-equivalence-prof
 BuildRequires:  ghc-exceptions-prof
 BuildRequires:  ghc-filepath-prof
-#BuildRequires:  ghc-geniplate-mirror-prof
 BuildRequires:  ghc-ghc-compact-prof
 BuildRequires:  ghc-gitrev-prof
 BuildRequires:  ghc-hashable-prof
 BuildRequires:  ghc-hashtables-prof
 BuildRequires:  ghc-haskeline-prof
-BuildRequires:  ghc-ieee754-prof
+BuildRequires:  ghc-monad-control-prof
 BuildRequires:  ghc-mtl-prof
 #BuildRequires:  ghc-murmur-hash-prof
+BuildRequires:  ghc-parallel-prof
 BuildRequires:  ghc-pretty-prof
 BuildRequires:  ghc-process-prof
 BuildRequires:  ghc-regex-tdfa-prof
@@ -256,6 +257,10 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 
 
 %changelog
+* Thu Aug  5 2021 Jens Petersen <petersen@redhat.com> - 2.6.2-32
+- update to 2.6.2
+- https://hackage.haskell.org/package/Agda-2.6.2/changelog
+
 * Thu Aug  5 2021 Jens Petersen <petersen@redhat.com> - 2.6.1.3-32
 - update to 2.6.1.3
 
diff --git a/sources b/sources
index 246668e..79e2a9a 100644
--- a/sources
+++ b/sources
@@ -1,4 +1,4 @@
 SHA512 (monadplus-1.4.2.tar.gz) = 839a35b3de1226e177c07e30b86e841ddd19075d3ce29fa7154fefb371d9bef8aa85847d7c139faad93713d5b7889979498097f69c6e3bccfcee2fbbf7bf6539
 SHA512 (murmur-hash-0.1.0.9.tar.gz) = 7ec34346d6361de9e9d716d98f207534807faea97c683212e5ab037d2e16f007845eb265dba0e232617a80acc7e37f4238d4424883b975d04057ade595788486
-SHA512 (Agda-2.6.1.3.tar.gz) = 2778cde4d73bd1203690ef4bcca00fa62666a2b647f3f78525aa4f610e357663f0e03125415278870d14710916fd6e0534efd8f07cd03b4a93a37ff1ee1bbd50
-SHA512 (geniplate-mirror-0.7.7.tar.gz) = 8976e874372e29edb468a07bab5a524173d0daa6d48834349279d6ba0f4a79d890a1be23a7af7cd92485f44df08e9d32c54c4bbd8ae081aba5c705fdc652907e
+SHA512 (Agda-2.6.2.tar.gz) = 1be631c8fd2129df4b8eb97e7bbfc54838eccf745d402a9f769f9486e8f6a1f55eeab9d47dd6cd428136ea9a3800766a2c7180662b5a41a6c7f29ffadadc3627
+SHA512 (geniplate-mirror-0.7.8.tar.gz) = 7d921cc31ad67d321158f2a0afb138d2c4e48857919691c21303561cb65b642168518ce8cb261d1572dbbcdfa6c578b2225d89f833e049237223f0b83b7e0261