public inbox for git-commits@fedoraproject.org
help / color / mirror / Atom feed
* [rpms/gap-pkg-polymaking] rawhide: Rebuild for gap 4.16.0
@ 2026-06-10 21:32 Jerry James
  0 siblings, 0 replies; only message in thread
From: Jerry James @ 2026-06-10 21:32 UTC (permalink / raw)
  To: git-commits

            A new commit has been pushed.

            Repo   : rpms/gap-pkg-polymaking
            Branch : rawhide
            Commit : 59878de0af075f4bd85bc8a4272ae4e70052d3dd
            Author : Jerry James <loganjerry@gmail.com>
            Date   : 2026-06-10T15:31:59-06:00
            Stats  : +5/-6 in 1 file(s)
            URL    : https://src.fedoraproject.org/rpms/gap-pkg-polymaking/c/59878de0af075f4bd85bc8a4272ae4e70052d3dd?branch=rawhide

            Log:
            Rebuild for gap 4.16.0

- Use gap(...) symbols in dependencies

---
diff --git a/gap-pkg-polymaking.spec b/gap-pkg-polymaking.spec
index f816c2c..159fdeb 100644
--- a/gap-pkg-polymaking.spec
+++ b/gap-pkg-polymaking.spec
@@ -16,16 +16,15 @@ BuildSystem:    gap
 BuildOption(install): lib tst
 BuildOption(check): tst/testall.g
 
-BuildRequires:  gap-devel
-BuildRequires:  gap-pkg-autodoc
+BuildRequires:  gap(autodoc) >= 2016.01.21
+BuildRequires:  gap-devel >= 4.8
 BuildRequires:  polymake
 
-# Temporary workaround for Lmod brokenness
-BuildRequires:  environment-modules
-
-Requires:       gap-core
+Requires:       gap-core >= 4.8
 Requires:       polymake
 
+Provides:       gap(polymaking) = %{version}-%{release}
+
 %description
 This package provides a very basic GAP interface to polymake.
 

^ permalink raw reply related	[flat|nested] only message in thread

only message in thread, other threads:[~2026-06-10 21:32 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-06-10 21:32 [rpms/gap-pkg-polymaking] rawhide: 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