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

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

[Jerry James]

            A new commit has been pushed.

            Repo   : rpms/gap-pkg-edim
            Branch : rawhide
            Commit : 81acc0b2b29d6817dda019d804c4185b3993647b
            Author : Jerry James <loganjerry@gmail.com>
            Date   : 2026-06-10T14:29:17-06:00
            Stats  : +7/-4 in 1 file(s)
            URL    : https://src.fedoraproject.org/rpms/gap-pkg-edim/c/81acc0b2b29d6817dda019d804c4185b3993647b?branch=rawhide

            Log:
            Rebuild for gap 4.16.0

- Drop unnecessary BuildRequires
- Use gap(...) symbols in dependencies

---
diff --git a/gap-pkg-edim.spec b/gap-pkg-edim.spec
index e7fd03e..ebc432d 100644
--- a/gap-pkg-edim.spec
+++ b/gap-pkg-edim.spec
@@ -19,13 +19,16 @@ BuildOption(build): --packagedirs ..
 BuildOption(install): bin lib tst VERSION
 BuildOption(check): tst/testall.g
 
-BuildRequires:  gap-devel
-BuildRequires:  GAPDoc-latex
+BuildRequires:  GAPDoc-latex >= 1.6
+BuildRequires:  gap(GAPDoc) >= 1.6
+BuildRequires:  gap-devel >= 4.12
 BuildRequires:  gcc
-BuildRequires:  libtool
 BuildRequires:  make
 
-Requires:       gap-core%{?_isa}
+Requires:       gap-core%{?_isa} >= 4.12
+
+Provides:       gap(EDIM) = %{version}-%{release}
+Provides:       gap(edim) = %{version}-%{release}
 
 %description
 The main purpose of the EDIM package is to publish an implementation of an