public inbox for git-commits@fedoraproject.org
help / color / mirror / Atom feed
From: Jerry James <loganjerry@gmail.com>
To: git-commits@fedoraproject.org
Subject: [rpms/cvc5] rawhide: Drop unused BRs
Date: Mon, 15 Jun 2026 17:10:47 GMT [thread overview]
Message-ID: <178154344745.1.4840431366091353738.rpms-cvc5-b2ebb2e81b92@fedoraproject.org> (raw)
A new commit has been pushed.
Repo : rpms/cvc5
Branch : rawhide
Commit : b2ebb2e81b92e4e2314a5781f52c02b380e2fd59
Author : Jerry James <loganjerry@gmail.com>
Date : 2026-06-15T11:10:23-06:00
Stats : +4/-23 in 1 file(s)
URL : https://src.fedoraproject.org/rpms/cvc5/c/b2ebb2e81b92e4e2314a5781f52c02b380e2fd59?branch=rawhide
Log:
Drop unused BRs
- Remove old obsoletes
---
diff --git a/cvc5.spec b/cvc5.spec
index 7bde234..190b2ad 100644
--- a/cvc5.spec
+++ b/cvc5.spec
@@ -53,22 +53,15 @@ BuildOption(conf): -DUSE_EDITLINE:BOOL=ON
BuildOption(conf): -DUSE_KISSAT:BOOL=ON
BuildOption(conf): -DUSE_POLY:BOOL=ON
-BuildRequires: cadical
BuildRequires: cadical-devel
BuildRequires: chrpath
BuildRequires: cmake(cryptominisat5)
BuildRequires: cocoalib-devel
-BuildRequires: drat2er-devel
-BuildRequires: drat-trim-devel
-BuildRequires: ethos
-BuildRequires: flex
BuildRequires: gcc-c++
BuildRequires: git-core
BuildRequires: java-25-devel
BuildRequires: javapackages-tools
BuildRequires: kissat-devel
-BuildRequires: lfsc-devel
-BuildRequires: libfl-devel
BuildRequires: libpoly-devel
BuildRequires: pkgconfig(gmp)
BuildRequires: pkgconfig(libedit)
@@ -84,7 +77,10 @@ BuildRequires: %{py3_dist pyparsing}
BuildRequires: %{py3_dist setuptools}
BuildRequires: %{py3_dist wheel}
BuildRequires: symfpu-devel
-BuildRequires: yosyshq-abc-devel
+
+# Needed for some of the tests; we do not currently execute those tests
+#BuildRequires: ethos
+#BuildRequires: lfsc-devel
Requires: %{name}-libs%{?_isa} = %{version}-%{release}
@@ -94,9 +90,6 @@ Suggests: ethos
# See src/prop/minisat/CVC4-README
Provides: bundled(minisat2) = 2.2.0
-# This can be removed when F42 reaches EOL
-Obsoletes: cvc4 < 1.9
-
%description
CVC5 is a tool for determining the satisfiability of a first order formula
modulo a first order theory (or a combination of such theories). It is the
@@ -114,18 +107,12 @@ Requires: %{name}-libs%{?_isa} = %{version}-%{release}
Requires: gmp-devel%{?_isa}
Requires: symfpu-devel
-# This can be removed when F42 reaches EOL
-Obsoletes: cvc4-devel < 1.9
-
%description devel
Header files and library links for developing applications that use %{name}.
%package libs
Summary: Library containing an automatic theorem prover for SMT problems
-# This can be removed when F42 reaches EOL
-Obsoletes: cvc4-libs < 1.9
-
%description libs
Library containing the core of the %{name} automatic theorem prover for
SMT problems.
@@ -136,9 +123,6 @@ Requires: %{name}-libs%{?_isa} = %{version}-%{release}
Requires: java-25-headless
Requires: javapackages-tools
-# This can be removed when F42 reaches EOL
-Obsoletes: cvc4-java < 1.9
-
%description java
Java interface to %{name}.
@@ -146,9 +130,6 @@ Java interface to %{name}.
Summary: Python 3 interface to %{name}
Requires: %{name}-libs%{?_isa} = %{version}-%{release}
-# This can be removed when F42 reaches EOL
-Obsoletes: cvc4-python3 < 1.9
-
%description -n python3-cvc5
Python 3 interface to %{name}.
reply other threads:[~2026-06-15 17:10 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=178154344745.1.4840431366091353738.rpms-cvc5-b2ebb2e81b92@fedoraproject.org \
--to=loganjerry@gmail.com \
--cc=git-commits@fedoraproject.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox