[rpms/why3] rawhide: OCaml 5.5.0 rebuild

[rpms/why3] rawhide: OCaml 5.5.0 rebuild

[Jerry James]

A new commit has been pushed.

Repo   : rpms/why3
Branch : rawhide
Commit : f8b7cae4a6e0252db85541e6bc3aae7d4429d9e1
Author : Jerry James <loganjerry@gmail.com>
Date   : 2026-07-09T20:52:51-06:00
Stats  : +4/-16 in 1 file(s)
URL    : https://src.fedoraproject.org/rpms/why3/c/f8b7cae4a6e0252db85541e6bc3aae7d4429d9e1?branch=rawhide

Log:
OCaml 5.5.0 rebuild

---
diff --git a/why3.spec b/why3.spec
index e54851c..3d69c11 100644
--- a/why3.spec
+++ b/why3.spec
@@ -1,6 +1,3 @@
-# Coq's plugin architecture requires cmxs files, so:
-ExclusiveArch: %{ocaml_native_compiler}
-
 # NOTE: Upstream has said that the Frama-C support is still experimental, and
 # less functional than the corresponding support in why2.  They recommend not
 # enabling it for now.  We abide by their wishes.  Revisit this decision each
@@ -24,11 +21,13 @@ Patch:          %{name}-zmod.patch
 # Adapt to changes in rocq 9.2.0
 Patch:          %{name}-rocq-9.2.patch
 
+# Coq's plugin architecture requires cmxs files, so:
+ExclusiveArch:  %{ocaml_native_compiler}
+
 BuildRequires:  coq-core-compat
 BuildRequires:  emacs-nw
 BuildRequires:  emacs-proofgeneral
 BuildRequires:  flocq
-BuildRequires:  graphviz
 BuildRequires:  java-devel
 BuildRequires:  latexmk
 BuildRequires:  libappstream-glib
@@ -41,7 +40,6 @@ BuildRequires:  ocaml-lablgtk3-sourceview3-devel
 BuildRequires:  ocaml-menhir
 BuildRequires:  ocaml-mlmpfr-devel
 BuildRequires:  ocaml-num-devel
-BuildRequires:  ocaml-ocamldoc
 BuildRequires:  ocaml-ocamlgraph-devel
 BuildRequires:  ocaml-ppx-deriving-devel
 BuildRequires:  ocaml-ppx-sexp-conv-devel
@@ -52,17 +50,7 @@ BuildRequires:  ocaml-zip-devel
 BuildRequires:  %{py3_dist sphinx}
 BuildRequires:  %{py3_dist sphinxcontrib-bibtex}
 BuildRequires:  rocq
-BuildRequires:  tex(capt-of.sty)
-BuildRequires:  tex(comment.sty)
-BuildRequires:  tex(fncychap.sty)
-BuildRequires:  tex(framed.sty)
-BuildRequires:  tex(latex)
-BuildRequires:  tex(needspace.sty)
-BuildRequires:  tex(tabulary.sty)
-BuildRequires:  tex(tgtermes.sty)
-BuildRequires:  tex(upquote.sty)
-BuildRequires:  tex(wrapfig.sty)
-BuildRequires:  tex-urlbst
+BuildRequires:  texlive-latex
 BuildRequires:  vim-filesystem
 
 Requires:       gtksourceview3%{?_isa}