From 577205dc10feeda512102e7982ba05575d775c38 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Tue, 14 Jul 2026 19:34:02 -0600 Subject: [PATCH 1/2] 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 2/2] Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild