rpms/Agda-stdlib
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove obsolete Group tag

Browse source 
Signed-off-by: Igor Gnatenko <ignatenkobrain@fedoraproject.org>
This commit is contained in:
Igor Gnatenko 2019-01-28 20:17:38 +01:00
commit 034284fc35
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Agda-stdlib.spec
View file

@ -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