[rpms/gap-pkg-float] f44: Rebuild for gap 4.16.0

[rpms/gap-pkg-float] f44: Rebuild for gap 4.16.0

[Jerry James]

            A new commit has been pushed.

            Repo   : rpms/gap-pkg-float
            Branch : f44
            Commit : ef90e321b49e16bacfc0f45ac03fa79c58dd082b
            Author : Jerry James <loganjerry@gmail.com>
            Date   : 2026-06-10T14:51:32-06:00
            Stats  : +5/-3 in 1 file(s)
            URL    : https://src.fedoraproject.org/rpms/gap-pkg-float/c/ef90e321b49e16bacfc0f45ac03fa79c58dd082b?branch=f44

            Log:
            Rebuild for gap 4.16.0

- Use gap(...) symbols in dependencies

---
diff --git a/gap-pkg-float.spec b/gap-pkg-float.spec
index 28ddef6..13b855f 100644
--- a/gap-pkg-float.spec
+++ b/gap-pkg-float.spec
@@ -21,8 +21,8 @@ BuildOption(install): lib tst
 BuildOption(check): tst/testall.g
 
 BuildRequires:  cxsc-devel
-BuildRequires:  gap-devel
-BuildRequires:  gap-pkg-autodoc
+BuildRequires:  gap(autodoc) >= 2022.07.10
+BuildRequires:  gap-devel >= 4.12.0
 BuildRequires:  gcc-c++
 BuildRequires:  make
 BuildRequires:  mpfi-devel
@@ -30,7 +30,9 @@ BuildRequires:  pkgconfig(fplll)
 BuildRequires:  pkgconfig(mpc)
 BuildRequires:  pkgconfig(mpfr)
 
-Requires:       gap-core%{?_isa}
+Requires:       gap-core%{?_isa} >= 4.12.0
+
+Provides:       gap(float) = %{version}-%{release}
 
 %description
 This package implements floating-point numbers within GAP, with arbitrary