From cfb90bce5685985236949beff255cc2a53583bdb7830344b52f35110cd469abb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20Mail=C3=A4nder?= Date: Sat, 23 Dec 2017 07:09:28 +0000 Subject: [PATCH] Accepting request 559510 from home:jengelh:dev OBS-URL: https://build.opensuse.org/request/show/559510 OBS-URL: https://build.opensuse.org/package/show/science/gap-cap?expand=0&rev=1 --- .gitattributes | 23 +++++++++++++++++ .gitignore | 1 + CAP-2017.09.25.tar.bz2 | 3 +++ gap-cap.changes | 4 +++ gap-cap.spec | 57 ++++++++++++++++++++++++++++++++++++++++++ 5 files changed, 88 insertions(+) create mode 100644 .gitattributes create mode 100644 .gitignore create mode 100644 CAP-2017.09.25.tar.bz2 create mode 100644 gap-cap.changes create mode 100644 gap-cap.spec diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..9b03811 --- /dev/null +++ b/.gitattributes @@ -0,0 +1,23 @@ +## Default LFS +*.7z filter=lfs diff=lfs merge=lfs -text +*.bsp filter=lfs diff=lfs merge=lfs -text +*.bz2 filter=lfs diff=lfs merge=lfs -text +*.gem filter=lfs diff=lfs merge=lfs -text +*.gz filter=lfs diff=lfs merge=lfs -text +*.jar filter=lfs diff=lfs merge=lfs -text +*.lz filter=lfs diff=lfs merge=lfs -text +*.lzma filter=lfs diff=lfs merge=lfs -text +*.obscpio filter=lfs diff=lfs merge=lfs -text +*.oxt filter=lfs diff=lfs merge=lfs -text +*.pdf filter=lfs diff=lfs merge=lfs -text +*.png filter=lfs diff=lfs merge=lfs -text +*.rpm filter=lfs diff=lfs merge=lfs -text +*.tbz filter=lfs diff=lfs merge=lfs -text +*.tbz2 filter=lfs diff=lfs merge=lfs -text +*.tgz filter=lfs diff=lfs merge=lfs -text +*.ttf filter=lfs diff=lfs merge=lfs -text +*.txz filter=lfs diff=lfs merge=lfs -text +*.whl filter=lfs diff=lfs merge=lfs -text +*.xz filter=lfs diff=lfs merge=lfs -text +*.zip filter=lfs diff=lfs merge=lfs -text +*.zst filter=lfs diff=lfs merge=lfs -text diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..57affb6 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +.osc diff --git a/CAP-2017.09.25.tar.bz2 b/CAP-2017.09.25.tar.bz2 new file mode 100644 index 0000000..09278af --- /dev/null +++ b/CAP-2017.09.25.tar.bz2 @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:654d9be0794cb247b41b528260a5d5c854af28b01ab1f16e6d39bb219efc51f5 +size 872644 diff --git a/gap-cap.changes b/gap-cap.changes new file mode 100644 index 0000000..9400768 --- /dev/null +++ b/gap-cap.changes @@ -0,0 +1,4 @@ +------------------------------------------------------------------- +Fri Dec 22 20:18:50 UTC 2017 - jengelh@inai.de + +- Initial package (version 2017.09.25) for build.opensuse.org diff --git a/gap-cap.spec b/gap-cap.spec new file mode 100644 index 0000000..25be8e6 --- /dev/null +++ b/gap-cap.spec @@ -0,0 +1,57 @@ +# +# spec file for package gap-cap +# +# Copyright (c) 2017 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-cap +Version: 2017.09.25 +Release: 0 +Summary: GAP: Categories, Algorithms and Programming +License: GPL-2.0 +Group: Productivity/Scientific/Math +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 +BuildRoot: %{_tmppath}/%{name}-%{version}-build +BuildRequires: gap-devel +BuildRequires: gap-rpm-devel +BuildArch: noarch +Requires: gap-core >= 4.6 +Requires: gap-autodoc >= 2016.02.16 +Requires: gap-toolsforhomalg >= 2016.01.17 +Requires: gap-io + +%description +Categories are the main GAP objects in CAP. They are used to +associate GAP objects which represent objects and morphisms with +their category. By associating a GAP object to the category, one of +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 +%setup -qn CAP-%version + +%build + +%install +%gappkg_simple_install + +%files -f %name.files +%defattr(-,root,root) + +%changelog