delete _link
OBS-URL: https://build.opensuse.org/package/show/science/gap-cap?expand=0&rev=4
This commit is contained in:
parent
cfb90bce56
commit
0d14d1f93b
@ -1,3 +0,0 @@
|
|||||||
version https://git-lfs.github.com/spec/v1
|
|
||||||
oid sha256:654d9be0794cb247b41b528260a5d5c854af28b01ab1f16e6d39bb219efc51f5
|
|
||||||
size 872644
|
|
3
CAP-2018.08.31.tar.bz2
Normal file
3
CAP-2018.08.31.tar.bz2
Normal file
@ -0,0 +1,3 @@
|
|||||||
|
version https://git-lfs.github.com/spec/v1
|
||||||
|
oid sha256:f2cfdd92636b3216ddc819dce50ea0ac25e1eb80c5cd5b8a2b0dd3b2f9bf0017
|
||||||
|
size 968791
|
@ -1,3 +1,9 @@
|
|||||||
|
-------------------------------------------------------------------
|
||||||
|
Wed Nov 14 20:22:48 UTC 2018 - Jan Engelhardt <jengelh@inai.de>
|
||||||
|
|
||||||
|
- Update to new upstream release 2018.08.31
|
||||||
|
* No changelog was provided
|
||||||
|
|
||||||
-------------------------------------------------------------------
|
-------------------------------------------------------------------
|
||||||
Fri Dec 22 20:18:50 UTC 2017 - jengelh@inai.de
|
Fri Dec 22 20:18:50 UTC 2017 - jengelh@inai.de
|
||||||
|
|
||||||
|
24
gap-cap.spec
24
gap-cap.spec
@ -1,7 +1,7 @@
|
|||||||
#
|
#
|
||||||
# spec file for package gap-cap
|
# spec file for package gap-cap
|
||||||
#
|
#
|
||||||
# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
|
# Copyright (c) 2018 SUSE LINUX GmbH, Nuernberg, Germany.
|
||||||
#
|
#
|
||||||
# All modifications and additions to the file contributed by third parties
|
# All modifications and additions to the file contributed by third parties
|
||||||
# remain the property of their copyright owners, unless otherwise agreed
|
# remain the property of their copyright owners, unless otherwise agreed
|
||||||
@ -12,15 +12,15 @@
|
|||||||
# license that conforms to the Open Source Definition (Version 1.9)
|
# license that conforms to the Open Source Definition (Version 1.9)
|
||||||
# published by the Open Source Initiative.
|
# published by the Open Source Initiative.
|
||||||
|
|
||||||
# Please submit bugfixes or comments via http://bugs.opensuse.org/
|
# Please submit bugfixes or comments via https://bugs.opensuse.org/
|
||||||
#
|
#
|
||||||
|
|
||||||
|
|
||||||
Name: gap-cap
|
Name: gap-cap
|
||||||
Version: 2017.09.25
|
Version: 2018.08.31
|
||||||
Release: 0
|
Release: 0
|
||||||
Summary: GAP: Categories, Algorithms and Programming
|
Summary: GAP: Categories, Algorithms and Programming
|
||||||
License: GPL-2.0
|
License: GPL-2.0-only
|
||||||
Group: Productivity/Scientific/Math
|
Group: Productivity/Scientific/Math
|
||||||
Url: http://homalg-project.github.io/CAP_project/CAP/
|
Url: http://homalg-project.github.io/CAP_project/CAP/
|
||||||
Source: https://www.gap-system.org/pub/gap/gap4/tar.bz2/packages/CAP-%version.tar.bz2
|
Source: https://www.gap-system.org/pub/gap/gap4/tar.bz2/packages/CAP-%version.tar.bz2
|
||||||
@ -28,20 +28,16 @@ BuildRoot: %{_tmppath}/%{name}-%{version}-build
|
|||||||
BuildRequires: gap-devel
|
BuildRequires: gap-devel
|
||||||
BuildRequires: gap-rpm-devel
|
BuildRequires: gap-rpm-devel
|
||||||
BuildArch: noarch
|
BuildArch: noarch
|
||||||
Requires: gap-core >= 4.6
|
|
||||||
Requires: gap-autodoc >= 2016.02.16
|
Requires: gap-autodoc >= 2016.02.16
|
||||||
Requires: gap-toolsforhomalg >= 2016.01.17
|
Requires: gap-core >= 4.9.1
|
||||||
Requires: gap-io
|
Requires: gap-io
|
||||||
|
Requires: gap-toolsforhomalg >= 2018.05.22
|
||||||
|
Suggests: gap-browse
|
||||||
|
|
||||||
%description
|
%description
|
||||||
Categories are the main GAP objects in CAP. They are used to
|
CAP is a package for category theory. It facilitates the
|
||||||
associate GAP objects which represent objects and morphisms with
|
implementation of specific instances of categories and provides a
|
||||||
their category. By associating a GAP object to the category, one of
|
language for writing generic categorical algorithms.
|
||||||
two filters belonging to the category (ObjectFilter/MorphismFilter)
|
|
||||||
are set to true. Via Add methods, functions for specific existential
|
|
||||||
quantifiers can be associated to the category and after that can be
|
|
||||||
applied to GAP objects in the category. A GAP category object also
|
|
||||||
knows which constructions are currently possible in this category.
|
|
||||||
|
|
||||||
%prep
|
%prep
|
||||||
%setup -qn CAP-%version
|
%setup -qn CAP-%version
|
||||||
|
Loading…
x
Reference in New Issue
Block a user