[ERROR] The compilation of rocq-core.9.0.0 failed at "make dunestrap COQ_SPLIT=1 DUNESTRAPOPT=-p rocq-core".
∗ installed coq-core.9.0.0
∗ installed coqide-server.9.0.0

#=== ERROR while compiling rocq-core.9.0.0 ====================================#
# context     2.3.0 | linux/x86_64 | ocaml.5.3.0 | https://opam.ocaml.org#999bff3ed88d26f76ff7eaddbfa7af49ed4737dc
# path        ~/.opam/default/.opam-switch/build/rocq-core.9.0.0
# command     ~/.opam/opam-init/hooks/sandbox.sh build make dunestrap COQ_SPLIT=1 DUNESTRAPOPT=-p rocq-core
# exit-code   2
# env-file    ~/.opam/log/rocq-core-108432-2ac678.env
# output-file ~/.opam/log/rocq-core-108432-2ac678.out
### output ###
# [...]
# 67 |   (source_tree plugins)
# 68 |   (source_tree theories)
# 69 |   (source_tree user-contrib))
# 70 |  (action
# 71 |   (with-stdout-to %{targets}
# 72 |    (run tools/dune_rule_gen/gen_rules.exe Corelib theories -split %{env:COQ_DUNE_EXTRA_OPT=}))))
# (cd _build/default && tools/dune_rule_gen/gen_rules.exe Corelib theories -split '') > _build/default/theories_dune_split
# [gen_rules] Fatal error:
# Anomaly
# "Uncaught exception Invalid_argument("failed to locate Coq kernel package in split build mode: rocq-runtime.kernel")."
#   Please report at http://coq.inria.fr/bugs/.
# make: *** [Makefile:136: .dune-stamp] Error 1