From 8bdbdca9ec639e4594615fb42f292c30a308023f1c5c171691f933208a9f058d Mon Sep 17 00:00:00 2001 From: Jan Engelhardt Date: Sat, 19 Nov 2022 04:42:49 +0000 Subject: [PATCH] - Update to release 2022.10.06 OBS-URL: https://build.opensuse.org/package/show/science/gap-cap?expand=0&rev=5 --- CAP-2018.08.31.tar.bz2 | 3 --- CAP-2022.10-06.tar.gz | 3 +++ gap-cap.changes | 7 +++++++ gap-cap.spec | 18 ++++++++++-------- 4 files changed, 20 insertions(+), 11 deletions(-) delete mode 100644 CAP-2018.08.31.tar.bz2 create mode 100644 CAP-2022.10-06.tar.gz diff --git a/CAP-2018.08.31.tar.bz2 b/CAP-2018.08.31.tar.bz2 deleted file mode 100644 index 30e3025..0000000 --- a/CAP-2018.08.31.tar.bz2 +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:f2cfdd92636b3216ddc819dce50ea0ac25e1eb80c5cd5b8a2b0dd3b2f9bf0017 -size 968791 diff --git a/CAP-2022.10-06.tar.gz b/CAP-2022.10-06.tar.gz new file mode 100644 index 0000000..a9d9200 --- /dev/null +++ b/CAP-2022.10-06.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:dd27e4cda5d022a0536c8ba9020d02d03d796f884ac99959fa0de230e93e307a +size 1414037 diff --git a/gap-cap.changes b/gap-cap.changes index 8254308..faaeb23 100644 --- a/gap-cap.changes +++ b/gap-cap.changes @@ -1,3 +1,10 @@ +------------------------------------------------------------------- +Sat Nov 19 04:41:44 UTC 2022 - Jan Engelhardt + +- Update to release 2022.10.06 + * Derive ZeroMorphism as the empty sum of morphisms + * Make FreydCategoriesForCAP independent of LinearAlgebraForCAP + ------------------------------------------------------------------- Wed Nov 14 20:22:48 UTC 2018 - Jan Engelhardt diff --git a/gap-cap.spec b/gap-cap.spec index bca630f..b4a48cd 100644 --- a/gap-cap.spec +++ b/gap-cap.spec @@ -1,7 +1,7 @@ # # spec file for package gap-cap # -# Copyright (c) 2018 SUSE LINUX GmbH, Nuernberg, Germany. +# Copyright (c) 2022 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -17,22 +17,24 @@ Name: gap-cap -Version: 2018.08.31 +Version: 2022.10.06 +%define sillyver 2022.10-06 Release: 0 Summary: GAP: Categories, Algorithms and Programming License: GPL-2.0-only 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 +URL: https://homalg-project.github.io/pkg/CAP +#Git-Clone: https://github.com/homalg-project/CAP_project +Source: https://github.com/homalg-project/CAP_project/releases/download/CAP-%sillyver/CAP-%sillyver.tar.gz BuildRequires: gap-devel BuildRequires: gap-rpm-devel BuildArch: noarch Requires: gap-autodoc >= 2016.02.16 -Requires: gap-core >= 4.9.1 +Requires: gap-core >= 4.11.1 Requires: gap-io Requires: gap-toolsforhomalg >= 2018.05.22 Suggests: gap-browse +Suggests: gap-compilerforcap >= 2021.12.05 %description CAP is a package for category theory. It facilitates the @@ -40,14 +42,14 @@ implementation of specific instances of categories and provides a language for writing generic categorical algorithms. %prep -%setup -qn CAP-%version +%autosetup -n CAP-%sillyver %build +rm -v doc/clean %install %gappkg_simple_install %files -f %name.files -%defattr(-,root,root) %changelog