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