%global pkgname smallsemi Name: gap-pkg-%{pkgname} Version: 0.6.13 Release: 8%{?dist} Summary: GAP library of small semigroups License: GPL-3.0-or-later BuildArch: noarch ExclusiveArch: %{gap_arches} noarch URL: https://gap-packages.github.io/smallsemi/ Source0: https://github.com/gap-packages/smallsemi/releases/download/v%{version}/%{pkgname}-%{version}.tar.gz BuildRequires: gap-devel BuildRequires: gap-pkg-autodoc Requires: gap-core %description The Smallsemi package is a data library of semigroups of small size. It provides all semigroups with at most 8 elements as well as information of various kinds about these objects. %package doc # The content is GFDL-1.1-no-invariants-or-later. The remaining licenses cover # the various fonts embedded in PDFs. # CM: Knuth-CTAN # CM-Super: GPL-1.0-or-later # Nimbus: AGPL-3.0-only License: GFDL-1.1-no-invariants-or-later AND Knuth-CTAN AND GPL-1.0-or-later AND AGPL-3.0-only Summary: Small semigroups 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 gap makedoc.g %install mkdir -p %{buildroot}%{gap_libdir}/pkg/%{pkgname}/doc cp -a *.g data gap 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 CHANGELOG 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 - 0.6.13-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering - 0.6.13-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Wed Jul 19 2023 Fedora Release Engineering - 0.6.13-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Jan 19 2023 Fedora Release Engineering - 0.6.13-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Thu Jan 12 2023 Jerry James - 0.6.13-4 - Update for split GAP directories * Thu Nov 10 2022 Jerry James - 0.6.13-3 - Clarify license of the doc subpackage * Tue Sep 27 2022 Jerry James - 0.6.13-3 - Update for gap 4.12.0 - Convert License tag to SPDX * Thu Jul 21 2022 Fedora Release Engineering - 0.6.13-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Tue Mar 1 2022 Jerry James - 0.6.13-1 - Version 0.6.13 - Drop upstreamed -bib patch * Thu Jan 20 2022 Fedora Release Engineering - 0.6.12-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Wed Jul 21 2021 Fedora Release Engineering - 0.6.12-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering - 0.6.12-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Mon Jul 27 2020 Fedora Release Engineering - 0.6.12-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jan 28 2020 Fedora Release Engineering - 0.6.12-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Thu Aug 22 2019 Jerry James - 0.6.12-1 - New upstream version (bz 1744687) - New URLs - Drop -test patch, no longer needed - Add -bib patch to fix documentation generation * Thu Jul 25 2019 Fedora Release Engineering - 0.6.11-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Fri Feb 1 2019 Jerry James - 0.6.11-6 - Rebuild for gap 4.10.0 - Add -test patch - Add -doc subpackage * Thu Jan 31 2019 Fedora Release Engineering - 0.6.11-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Fri Jul 13 2018 Fedora Release Engineering - 0.6.11-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Feb 07 2018 Fedora Release Engineering - 0.6.11-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering - 0.6.11-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Wed Apr 26 2017 Jerry James - 0.6.11-1 - New upstream version (bz 1445743) * Fri Feb 10 2017 Fedora Release Engineering - 0.6.10-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Thu Apr 7 2016 Jerry James - 0.6.10-1 - New upstream version * Wed Feb 03 2016 Fedora Release Engineering - 0.6.8-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Thu Nov 12 2015 Jerry James - 0.6.8-1 - Initial RPM