From 034284fc35b756a873eb91c72b8a3f31c3d842b6 Mon Sep 17 00:00:00 2001
From: Igor Gnatenko <ignatenkobrain@fedoraproject.org>
Date: Mon, 28 Jan 2019 20:17:38 +0100
Subject: [PATCH] Remove obsolete Group tag

Signed-off-by: Igor Gnatenko <ignatenkobrain@fedoraproject.org>
---
 Agda-stdlib.spec | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 16b61a8..6e55e6f 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -5,7 +5,6 @@ Version:        0.15
 Release:        4%{?dist}
 Summary:        Agda standard libraries
 
-Group:          Development/Libraries
 License:        MIT
 URL:            http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
 Source0:        https://github.com/agda/agda-stdlib/archive/v%{version}.tar.gz#/agda-stdlib-%{version}.tar.gz