From 5383d0287ca8db2a85786cd51f5f02f3cf9a6128 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Mon, 20 Jun 2022 13:57:27 +0800
Subject: [PATCH] add Provides agda

---
 Agda.spec | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Agda.spec b/Agda.spec
index 778b6f8..ea0f600 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -88,6 +88,7 @@ BuildRequires:  ghc-uri-encode-prof
 BuildRequires:  ghc-zlib-prof
 BuildRequires:  alex
 BuildRequires:  happy
+Provides:       agda = %{version}-%{release}
 Requires:       %{name}-common = %{version}-%{release}
 # End cabal-rpm deps
 BuildRequires:  emacs(bin)
@@ -272,6 +273,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 
 
 %changelog
+* Mon Jun 20 2022 Jens Petersen <petersen@redhat.com>
+- add Provides agda
+
 * Tue Jun  7 2022 Jens Petersen <petersen@redhat.com> - 2.6.2.2-36
 - https://hackage.haskell.org/package/Agda-2.6.2.2/changelog
 - disable i686 (#2098425)