1
0
forked from pool/gap-groupoids
Jan Engelhardt 2017-09-17 19:34:18 +00:00 committed by Git OBS Bridge
parent a407a64e35
commit 38a0e884e5

View File

@ -24,7 +24,7 @@ License: GPL-2.0+
Group: Productivity/Scientific/Math
URL: https://gap-packages.github.io/groupoids/
Source: http://www.gap-system.org/pub/gap/gap4/tar.bz2/packages/groupoids-%version.tar.bz2
Source: https://www.gap-system.org/pub/gap/gap4/tar.bz2/packages/groupoids-%version.tar.bz2
BuildArch: noarch
BuildRoot: %{_tmppath}/%{name}-%{version}-build
BuildRequires: gap-rpm-devel