File gap-xmod.spec of Package gap-xmod

Overview Repositories Revisions Requests Users Attributes Meta

File gap-xmod.spec of Package gap-xmod (Revision 472d62b4540e86cf56e971ddf2a6838d)

Currently displaying revision 472d62b4540e86cf56e971ddf2a6838d , Show latest

#
# spec file for package gap-xmod
#
# Copyright (c) 2016 SUSE LINUX GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
# upon. The license for this file, and modifications and additions to the
# file, is the same license as for the pristine package itself (unless the
# license for the pristine package is not an Open Source License, in which
# case the license is the MIT License). An "Open Source License" is a
# license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative.

# Please submit bugfixes or comments via http://bugs.opensuse.org/
#

Name:           gap-xmod
Version:        2.56
Release:        0
Summary:        GAP: Crossed Modules and Cat1-Groups
License:        GPL-2.0+
Group:          Productivity/Scientific/Math
Url:            http://pages.bangor.ac.uk/~mas023/chda/xmod/

Source:         ftp://ftp.gap-system.org/pub/gap/gap4/tar.bz2/packages/xmod-%version.tar.bz2
BuildArch:      noarch
BuildRoot:      %{_tmppath}/%{name}-%{version}-build
BuildRequires:  gap-rpm-devel
Requires:       gap-autpgrp >= 1.6
Requires:       gap-core >= 4.8.2
Requires:       gap-gpd >= 1.42
Requires:       gap-hap >= 1.11
Requires:       gap-utils >= 0.38
Suggests:       gap-gapdoc >= 1.5.1

%description
The XMod package provides a collection of functions for computing
with crossed modules and cat1-groups, their derivations and sections,
morphisms of these structures, and higher-dimensional
generalisations.

%prep
%setup -qn xmod-%version

%build

%install
%gappkg_simple_install

%files -f %name.files
%defattr(-,root,root)

%changelog

Places

File gap-xmod.spec of Package gap-xmod (Revision 472d62b4540e86cf56e971ddf2a6838d)

Places