public inbox for git-commits@fedoraproject.org
help / color / mirror / Atom feed
* [rpms/gap-pkg-automata] f44: Rebuild for gap 4.16.0
@ 2026-06-11 18:21 Jerry James
0 siblings, 0 replies; only message in thread
From: Jerry James @ 2026-06-11 18:21 UTC (permalink / raw)
To: git-commits
A new commit has been pushed.
Repo : rpms/gap-pkg-automata
Branch : f44
Commit : 4489b2be8d974d48f8c7e285cb26cf2ec1697036
Author : Jerry James <loganjerry@gmail.com>
Date : 2026-06-10T13:50:31-06:00
Stats : +11/-5 in 1 file(s)
URL : https://src.fedoraproject.org/rpms/gap-pkg-automata/c/4489b2be8d974d48f8c7e285cb26cf2ec1697036?branch=f44
Log:
Rebuild for gap 4.16.0
- Use gap(...) symbols in dependencies
---
diff --git a/gap-pkg-automata.spec b/gap-pkg-automata.spec
index dfa999c..9e936da 100644
--- a/gap-pkg-automata.spec
+++ b/gap-pkg-automata.spec
@@ -16,16 +16,22 @@ BuildSystem: gap
BuildOption(install): gap tst version
BuildOption(check): tst/testall.g
-BuildRequires: gap-devel
-BuildRequires: gap-pkg-autodoc
+BuildRequires: gap(autodoc)
+BuildRequires: gap-devel >= 4.8
-Requires: gap-core
+# RandomizeRandomState invokes /usr/bin/date
+Requires: coreutils
+Requires: gap-core >= 4.8
-# Splash invokes tools from these packages
-Recommends: coreutils
+# Splash can invoke dot and dot2tex in some circumstances
+Recommends: dot2tex
Recommends: graphviz
+# Splash invokes a viewer (evince, xpdf, xdg-open, okular, or gv)
Recommends: xdg-utils
+Provides: gap(Automata) = %{version}-%{release}
+Provides: gap(automata) = %{version}-%{release}
+
%description
This package contains algorithms for working with finite automata in GAP. It
can do the following:
^ permalink raw reply related [flat|nested] only message in thread
only message in thread, other threads:[~2026-06-11 18:21 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:21 [rpms/gap-pkg-automata] 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