[ERROR] The compilation of coq-stdlib.8.18.0 failed at "make dunestrap COQ_DUNE_EXTRA_OPT=-split".
∗ installed coqide-server.8.18.0

#=== ERROR while compiling coq-stdlib.8.18.0 ==================================#
# context     2.1.5 | linux/x86_64 | ocaml.5.0.0 | https://opam.ocaml.org#2dcd8684
# path        ~/Documents/Scolarite/Universite/M1/S2/TER/formalisation/_opam/.opam-switch/build/coq-stdlib.8.18.0
# command     ~/.opam/opam-init/hooks/sandbox.sh build env -u OCAMLPATH -u OCAMLFIND_DESTDIR make dunestrap COQ_DUNE_EXTRA_OPT=-split
# exit-code   2
# env-file    ~/.opam/log/coq-stdlib-495713-40fd69.env
# output-file ~/.opam/log/coq-stdlib-495713-40fd69.out
### output ###
# [...]
# 42 |   (source_tree plugins))
# 43 |  (action
# 44 |   (with-stdout-to %{targets}
# 45 |    (run tools/dune_rule_gen/gen_rules.exe Coq theories %{env:COQ_DUNE_EXTRA_OPT=}))))
# [gen_rules] Fatal error: Invalid_argument("failed to locate Coq plugins in split build mode: coq-core.plugins.number_string_notation")
# Raised at Coq_dune__Coq_rules.FlagUtil.findlib_plugin_flags in file "tools/dune_rule_gen/coq_rules.ml", line 56, characters 6-89
# Called from Coq_dune__Coq_rules.FlagUtil.plugin_flags in file "tools/dune_rule_gen/coq_rules.ml" (inlined), line 59, characters 18-41
# Called from Coq_dune__Coq_rules.Context.make in file "tools/dune_rule_gen/coq_rules.ml", line 172, characters 25-56
# Called from Dune__exe__Gen_rules.main in file "tools/dune_rule_gen/gen_rules.ml", line 71, characters 13-109
# Called from Dune__exe__Gen_rules in file "tools/dune_rule_gen/gen_rules.ml", line 106, characters 6-13
# 
# make: *** [Makefile:124: .dune-stamp] Error 1