From 92e4cb1122de238ecc109ce3227ce918a5952f4a Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Mon, 22 Jun 2020 17:19:24 +0800
Subject: [PATCH] requires Agda instead of ghc-Agda now

---
 Agda-stdlib.spec | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 64391d2..551eac5 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -2,7 +2,7 @@
 
 Name:           Agda-stdlib
 Version:        1.1
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Agda standard libraries
 
 License:        MIT
@@ -16,7 +16,7 @@ BuildRequires:  Agda
 # Agda not building on arm
 ExcludeArch:    armv7hl
 Obsoletes:      ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6
-Requires:       ghc-Agda = 2.6.0.1
+Requires:       Agda = 2.6.0.1
 
 %description
 Agda standard libraries
@@ -74,6 +74,9 @@ agda -i. -isrc README.agda
 
 
 %changelog
+* Mon Jun 22 2020 Jens Petersen <petersen@redhat.com> - 1.1-3
+- requires Agda instead of ghc-Agda now
+
 * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild