[rpms/gap-pkg-kbmag] rawhide: Rebuild for gap 4.16.0

[rpms/gap-pkg-kbmag] rawhide: Rebuild for gap 4.16.0

[Jerry James]

            A new commit has been pushed.

            Repo   : rpms/gap-pkg-kbmag
            Branch : rawhide
            Commit : 40faaf22918b68388492aeec6660d67822ed05f1
            Author : Jerry James <loganjerry@gmail.com>
            Date   : 2026-06-11T06:58:22-06:00
            Stats  : +9/-4 in 1 file(s)
            URL    : https://src.fedoraproject.org/rpms/gap-pkg-kbmag/c/40faaf22918b68388492aeec6660d67822ed05f1?branch=rawhide

            Log:
            Rebuild for gap 4.16.0

- Use gap(...) symbols in dependencies

---
diff --git a/gap-pkg-kbmag.spec b/gap-pkg-kbmag.spec
index 691d4e8..1ff1491 100644
--- a/gap-pkg-kbmag.spec
+++ b/gap-pkg-kbmag.spec
@@ -17,13 +17,17 @@ BuildSystem:    gap
 BuildOption(install): bin gap tst
 BuildOption(check): tst/testall.g
 
-BuildRequires:  gcc
-BuildRequires:  gap-devel
-BuildRequires:  gap-pkg-autodoc
+BuildRequires:  gap(autodoc)
+BuildRequires:  gap-devel >= 4.7
 BuildRequires:  gap-pkg-nq-doc
+BuildRequires:  gcc
 BuildRequires:  make
 
-Requires:       gap-core%{?_isa}
+# rm is invoked
+Requires:       coreutils
+Requires:       gap-core%{?_isa} >= 4.7
+
+Provides:       gap(kbmag) = %{version}-%{release}
 
 %description
 KBMAG (pronounced Kay-bee-mag) stands for Knuth-Bendix on Monoids, and
@@ -84,6 +88,7 @@ License:        GPL-2.0-or-later AND GPL-1.0-or-later AND Knuth-CTAN AND AGPL-3.
 Summary:        Documentation for the GAP kbmag package
 BuildArch:      noarch
 Requires:       %{name} = %{version}-%{release}
+Requires:       gap-online-help
 Requires:       gap-pkg-nq-doc
 
 %description doc