%global pkgname resclasses Name: gap-pkg-%{pkgname} Version: 4.7.3 Release: 7%{?dist} Summary: Set-theoretic computations with Residue Classes License: GPL-2.0-or-later BuildArch: noarch ExclusiveArch: %{gap_arches} noarch URL: https://gap-packages.github.io/resclasses/ Source0: https://github.com/gap-packages/resclasses/releases/download/v%{version}/%{pkgname}-%{version}.tar.gz BuildRequires: gap-devel BuildRequires: gap-pkg-autodoc BuildRequires: gap-pkg-io BuildRequires: gap-pkg-polycyclic BuildRequires: gap-pkg-utils Requires: gap-core Requires: gap-pkg-polycyclic Requires: gap-pkg-utils Recommends: gap-pkg-io %description ResClasses is a GAP package for set-theoretic computations with residue classes of the integers and a couple of other rings. The class of sets which ResClasses can deal with includes the open and the closed sets in the topology on the respective ring which is induced by taking the set of all residue classes as a basis, as far as the usual restrictions imposed by the finiteness of computing resources permit this. %package doc # The content is GPL-2.0-or-later. The remaining licenses cover the various # fonts embedded in PDFs. # AMS: OFL-1.1-RFN # CM: Knuth-CTAN # CM-Super: GPL-1.0-or-later # Nimbus: AGPL-3.0-only # StandardSymL: GPL-1.0-or-later License: GPL-2.0-or-later AND OFL-1.1-RFN AND Knuth-CTAN AND GPL-1.0-or-later AND AGPL-3.0-only Summary: ResClasses documentation Requires: %{name} = %{version}-%{release} Requires: gap-online-help %description doc This package contains documentation for gap-pkg-%{pkgname}. %prep %autosetup -n %{pkgname}-%{version} %build export LC_ALL=C.UTF-8 # Link to main GAP documentation ln -s %{gap_libdir}/doc ../../doc gap makedoc.g rm -f ../../doc %install mkdir -p %{buildroot}%{gap_libdir}/pkg/%{pkgname}/doc cp -a *.g lib tst %{buildroot}%{gap_libdir}/pkg/%{pkgname} %gap_copy_docs %check export LC_ALL=C.UTF-8 gap -l "%{buildroot}%{gap_libdir};" tst/testall.g %files %doc CHANGES README %license LICENSE %{gap_libdir}/pkg/%{pkgname}/ %exclude %{gap_libdir}/pkg/%{pkgname}/doc/ %files doc %docdir %{gap_libdir}/pkg/%{pkgname}/doc/ %{gap_libdir}/pkg/%{pkgname}/doc/ %changelog * Wed Jan 24 2024 Fedora Release Engineering - 4.7.3-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering - 4.7.3-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Wed Jul 19 2023 Fedora Release Engineering - 4.7.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Jan 19 2023 Fedora Release Engineering - 4.7.3-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Thu Jan 12 2023 Jerry James - 4.7.3-3 - Update for split GAP directories * Thu Nov 10 2022 Jerry James - 4.7.3-2 - Clarify license of the doc subpackage * Tue Sep 27 2022 Jerry James - 4.7.3-2 - Update for gap 4.12.0 - Convert License tag to SPDX * Mon Aug 1 2022 Jerry James - 4.7.3-1 - Version 4.7.3 * Thu Jul 21 2022 Fedora Release Engineering - 4.7.2-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Thu Jan 20 2022 Fedora Release Engineering - 4.7.2-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Wed Jul 21 2021 Fedora Release Engineering - 4.7.2-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering - 4.7.2-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Mon Jul 27 2020 Fedora Release Engineering - 4.7.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jan 28 2020 Fedora Release Engineering - 4.7.2-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Thu Jul 25 2019 Fedora Release Engineering - 4.7.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Thu May 16 2019 Jerry James - 4.7.2-1 - New upstream version - Update the source URL again - Package the license file * Sat Feb 2 2019 Jerry James - 4.7.1-5 - Rebuild for gap 4.10.0 - New URLs - Add -doc subpackage * Thu Jan 31 2019 Fedora Release Engineering - 4.7.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Fri Jul 13 2018 Fedora Release Engineering - 4.7.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Feb 07 2018 Fedora Release Engineering - 4.7.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Sat Jan 6 2018 Jerry James - 4.7.1-1 - New upstream version * Wed Jul 26 2017 Fedora Release Engineering - 4.6.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Fri Mar 17 2017 Jerry James - 4.6.0-1 - New upstream version * Fri Feb 10 2017 Fedora Release Engineering - 4.5.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Fri Jun 3 2016 Jerry James - 4.5.0-1 - New upstream version * Fri May 13 2016 Jerry James - 4.4.2-1 - Initial RPM