public inbox for git-commits@fedoraproject.org
help / color / mirror / Atom feed
* [rpms/gap-pkg-4ti2interface] f44: Rebuild for gap 4.16.0
@ 2026-06-11 18:20 Jerry James
0 siblings, 0 replies; only message in thread
From: Jerry James @ 2026-06-11 18:20 UTC (permalink / raw)
To: git-commits
A new commit has been pushed.
Repo : rpms/gap-pkg-4ti2interface
Branch : f44
Commit : a1943fd7d8c6efa737954de81b730591c566e1fe
Author : Jerry James <loganjerry@gmail.com>
Date : 2026-06-10T13:45:35-06:00
Stats : +9/-4 in 1 file(s)
URL : https://src.fedoraproject.org/rpms/gap-pkg-4ti2interface/c/a1943fd7d8c6efa737954de81b730591c566e1fe?branch=f44
Log:
Rebuild for gap 4.16.0
- Use gap(...) symbols in dependencies
---
diff --git a/gap-pkg-4ti2interface.spec b/gap-pkg-4ti2interface.spec
index 853318a..cc4bc6c 100644
--- a/gap-pkg-4ti2interface.spec
+++ b/gap-pkg-4ti2interface.spec
@@ -21,12 +21,16 @@ BuildOption(install): examples gap tst
BuildOption(check): tst/testall.g
BuildRequires: 4ti2
-BuildRequires: gap-devel
-BuildRequires: gap-pkg-autodoc
-BuildRequires: gap-pkg-io
+BuildRequires: gap(autodoc) >= 2025.12.19
+BuildRequires: gap(io) >= 4.2
+BuildRequires: gap-devel >= 4.13.0
Requires: 4ti2
-Requires: gap-pkg-io
+Requires: gap(io) >= 4.2
+Requires: gap-core >= 4.13.0
+
+Provides: gap(4ti2Interface) = %{version}-%{release}
+Provides: gap(4ti2interface) = %{version}-%{release}
%description
This package is a GAP interface to 4ti2.
@@ -40,6 +44,7 @@ This package is a GAP interface to 4ti2.
License: GPL-2.0-or-later AND GPL-1.0-or-later AND Knuth-CTAN AND AGPL-3.0-only
Summary: Documentation for the GAP 4ti2Interface package
Requires: %{name} = %{version}-%{release}
+Requires: gap-online-help
%description doc
This package contains documentation for gap-pkg-%{gap_pkgname}.
^ permalink raw reply related [flat|nested] only message in thread
only message in thread, other threads:[~2026-06-11 18:20 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-06-11 18:20 [rpms/gap-pkg-4ti2interface] f44: Rebuild for gap 4.16.0 Jerry James
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox