commit: 74623283f93eb2743f0cbee2829c76f219ecbbc0
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Feb 19 16:52:26 2026 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Feb 20 12:02:13 2026 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=74623283
sci-mathematics/why3-for-spark: fix for Yojson-3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
.../files/why3-for-spark-2023.12.13-yojson3.patch | 11 +++++++++++
.../why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild | 3 ++-
2 files changed, 13 insertions(+), 1 deletion(-)
diff --git
a/sci-mathematics/why3-for-spark/files/why3-for-spark-2023.12.13-yojson3.patch
b/sci-mathematics/why3-for-spark/files/why3-for-spark-2023.12.13-yojson3.patch
new file mode 100644
index 000000000000..20cf270fd014
--- /dev/null
+++
b/sci-mathematics/why3-for-spark/files/why3-for-spark-2023.12.13-yojson3.patch
@@ -0,0 +1,11 @@
+--- a/plugins/gnat_json/gnat_ast_to_ptree.ml 2026-02-19 17:43:53.213295946
+0100
++++ b/plugins/gnat_json/gnat_ast_to_ptree.ml 2026-02-19 17:44:30.607845873
+0100
+@@ -1389,7 +1389,7 @@
+ close_out out_channel
+
+ let read_channel env path filename c =
+- let json = Yojson.Safe.from_channel c in
++ let json = (Yojson.Safe.from_channel c :> Gnat_ast.From_json.t) in
+ let gnat_file =
+ let open Gnat_ast in
+ try From_json.file_from_json json
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
index 17e2b84cbc8b..60b3e58deeca 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
@@ -25,7 +25,7 @@ RDEPEND="
dev-ml/num:=[ocamlopt?]
dev-ml/re:=[ocamlopt?]
dev-ml/yojson:=
- coq? ( <=sci-mathematics/coq-8.18 )
+ coq? ( <sci-mathematics/coq-8.18 )
emacs? ( app-editors/emacs:* )
gtk? ( dev-ml/lablgtk:=[sourceview] )
html? ( dev-tex/hevea:= )
@@ -52,6 +52,7 @@ PATCHES=(
"${FILESDIR}"/${PN}-2021-make.patch #Bug #883167
"${FILESDIR}"/${PN}-2020-bibtex.patch
"${FILESDIR}"/${P}-spark.patch
+ "${FILESDIR}"/${P}-yojson3.patch
"${FILESDIR}"/${PN}-2021-sighandler.patch
)
