public inbox for git-commits@fedoraproject.org
help / color / mirror / Atom feed
* [rpms/why3] rawhide: Rebuild for ocaml-ppx-deriving 6.1.3
@ 2026-07-29 18:32 Jerry James
0 siblings, 0 replies; only message in thread
From: Jerry James @ 2026-07-29 18:32 UTC (permalink / raw)
To: git-commits
A new commit has been pushed.
Repo : rpms/why3
Branch : rawhide
Commit : cb0c5c7d69a0df1697f6f6ca2369f3b6feeca61b
Author : Jerry James <loganjerry@gmail.com>
Date : 2026-07-29T12:32:20-06:00
Stats : +0/-2 in 1 file(s)
URL : https://src.fedoraproject.org/rpms/why3/c/cb0c5c7d69a0df1697f6f6ca2369f3b6feeca61b?branch=rawhide
Log:
Rebuild for ocaml-ppx-deriving 6.1.3
---
diff --git a/why3.spec b/why3.spec
index 3d69c11..3fc4249 100644
--- a/why3.spec
+++ b/why3.spec
@@ -47,8 +47,6 @@ BuildRequires: ocaml-re-devel
BuildRequires: ocaml-sexplib-devel
BuildRequires: ocaml-zarith-devel
BuildRequires: ocaml-zip-devel
-BuildRequires: %{py3_dist sphinx}
-BuildRequires: %{py3_dist sphinxcontrib-bibtex}
BuildRequires: rocq
BuildRequires: texlive-latex
BuildRequires: vim-filesystem
^ permalink raw reply related [flat|nested] only message in thread
only message in thread, other threads:[~2026-07-29 18:32 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-07-29 18:32 [rpms/why3] rawhide: Rebuild for ocaml-ppx-deriving 6.1.3 Jerry James
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox