requires Agda instead of ghc-Agda now

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