amd64
libmumps-seq-5.7:amd64 (>= 5.7.3)
libstdlib-ocaml-dev-fxjy5:amd64
libstdlib-ocaml-fxjy5:amd64
python3:amd64 (>= 3.12~)