From 548580a5a3e209116902b1ba07d4379fbe0270c9 Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Fri, 25 Jul 2025 21:12:24 +0000 Subject: [PATCH 1/9] Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild From a9b6193c7cea08c1ce27ef148c73a9085e0ef7a5 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Fri, 5 Dec 2025 11:54:10 -0700 Subject: [PATCH 2/9] Rebuild for cadical 2.2.0 --- yices.spec | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/yices.spec b/yices.spec index 8f5caac..e9c2542 100644 --- a/yices.spec +++ b/yices.spec @@ -40,15 +40,15 @@ BuildRequires: tex(latex) Provides: bundled(cudd) = 3.0.0 %description -Yices 2 is an efficient SMT solver that decides the satisfiability of -formulas containing uninterpreted function symbols with equality, linear -real and integer arithmetic, bitvectors, scalar types, and tuples. +Yices 2 is an efficient SMT solver that decides the satisfiability of formulas +containing uninterpreted function symbols with equality, linear real and +integer arithmetic, bitvectors, scalar types, and tuples. -Yices 2 can process input written in the SMT-LIB notation (both versions -2.0 and 1.2 are supported). +Yices 2 can process input written in the SMT-LIB notation (both versions 2.0 +and 1.2 are supported). -Alternatively, you can write specifications using the Yices 2 -specification language, which includes tuples and scalar types. +Alternatively, you can write specifications using the Yices 2 specification +language, which includes tuples and scalar types. Yices 2 can also be used as a library in other software. @@ -58,8 +58,8 @@ Requires: %{name}%{?_isa} = %{version}-%{release} Requires: gmp-devel%{?_isa} %description devel -This package contains the header files necessary for developing programs -which use yices. +This package contains the header files necessary for developing programs which +use yices. %package tools Summary: Command line tools that use the yices library From 341a656de73a66e73790936c8aac4b20ee2323ab Mon Sep 17 00:00:00 2001 From: Jerry James Date: Wed, 14 Jan 2026 08:53:19 -0700 Subject: [PATCH 3/9] Be more precise about globbing in %files --- yices.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/yices.spec b/yices.spec index e9c2542..bcdfb14 100644 --- a/yices.spec +++ b/yices.spec @@ -169,7 +169,7 @@ make check MODE=debug %files %doc doc/SMT-LIB-LANGUAGE doc/YICES-LANGUAGE %license copyright.txt LICENSE.txt -%{_libdir}/libyices.so.2.7* +%{_libdir}/libyices.so.2.7{,.*} %files devel %{_includedir}/%{name}/ From 56690d563979d72852a848956928eef9f1a415cc Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Sat, 17 Jan 2026 21:02:14 +0000 Subject: [PATCH 4/9] Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild From 2ecfd8c6fb46213e6541a84d55e3af42d93d369e Mon Sep 17 00:00:00 2001 From: Jerry James Date: Fri, 20 Feb 2026 08:27:32 -0700 Subject: [PATCH 5/9] Adapt to changes in TeXLive packaging --- yices.spec | 3 +++ 1 file changed, 3 insertions(+) diff --git a/yices.spec b/yices.spec index bcdfb14..0dcf297 100644 --- a/yices.spec +++ b/yices.spec @@ -35,6 +35,9 @@ BuildRequires: libtool BuildRequires: make BuildRequires: %{py3_dist sphinx} BuildRequires: tex(latex) +BuildRequires: texlive-courier +BuildRequires: texlive-helvetic +BuildRequires: texlive-times # See Source1 comment Provides: bundled(cudd) = 3.0.0 From a3e2b398052d9a04e035c4e0066edd08074a68d1 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Thu, 30 Apr 2026 12:18:22 -0600 Subject: [PATCH 6/9] Rebuild for cryptominisat 5.14.4 --- yices-cryptominisat.patch | 2 +- yices.spec | 10 ++++++++++ 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/yices-cryptominisat.patch b/yices-cryptominisat.patch index be1cc37..78d4a74 100644 --- a/yices-cryptominisat.patch +++ b/yices-cryptominisat.patch @@ -5,7 +5,7 @@ #ifdef HAVE_CADICAL -#include "ccadical.h" -+#include ++#include #endif #ifdef HAVE_CRYPTOMINISAT diff --git a/yices.spec b/yices.spec index 0dcf297..782983c 100644 --- a/yices.spec +++ b/yices.spec @@ -34,9 +34,19 @@ BuildRequires: libpoly-devel BuildRequires: libtool BuildRequires: make BuildRequires: %{py3_dist sphinx} +BuildRequires: tex(amsfonts.sty) +BuildRequires: tex(cite.sty) +BuildRequires: tex(listings.sty) +BuildRequires: tex(xcolor.sty) BuildRequires: tex(latex) +BuildRequires: texlive-bibtex +BuildRequires: texlive-cm BuildRequires: texlive-courier +BuildRequires: texlive-ec BuildRequires: texlive-helvetic +BuildRequires: texlive-makeindex +BuildRequires: texlive-metafont +BuildRequires: texlive-mfware BuildRequires: texlive-times # See Source1 comment From 307ef2eee4aa592e6b4eb02118c6a97e514e1230 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Thu, 30 Apr 2026 14:21:41 -0600 Subject: [PATCH 7/9] BR tex(epstopdf.sty) --- yices.spec | 1 + 1 file changed, 1 insertion(+) diff --git a/yices.spec b/yices.spec index 782983c..318bdd4 100644 --- a/yices.spec +++ b/yices.spec @@ -36,6 +36,7 @@ BuildRequires: make BuildRequires: %{py3_dist sphinx} BuildRequires: tex(amsfonts.sty) BuildRequires: tex(cite.sty) +BuildRequires: tex(epstopdf.sty) BuildRequires: tex(listings.sty) BuildRequires: tex(xcolor.sty) BuildRequires: tex(latex) From 577205dc10feeda512102e7982ba05575d775c38 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Tue, 14 Jul 2026 19:34:02 -0600 Subject: [PATCH 8/9] Reduce the number of TeXLive packages used to build --- yices.spec | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/yices.spec b/yices.spec index 318bdd4..7b990a7 100644 --- a/yices.spec +++ b/yices.spec @@ -39,15 +39,13 @@ BuildRequires: tex(cite.sty) BuildRequires: tex(epstopdf.sty) BuildRequires: tex(listings.sty) BuildRequires: tex(xcolor.sty) -BuildRequires: tex(latex) BuildRequires: texlive-bibtex BuildRequires: texlive-cm BuildRequires: texlive-courier BuildRequires: texlive-ec BuildRequires: texlive-helvetic +BuildRequires: texlive-latex BuildRequires: texlive-makeindex -BuildRequires: texlive-metafont -BuildRequires: texlive-mfware BuildRequires: texlive-times # See Source1 comment From a796b4116134d8960f2a60dd3fcf983ad0d833ea Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Fri, 17 Jul 2026 09:34:40 +0000 Subject: [PATCH 9/9] Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild