[rpms/cvc5] rawhide: Drop unused BRs

[rpms/cvc5] rawhide: Drop unused BRs

[Jerry James]

            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}.