all
libgit2-1.7:amd64 (>= 1.7.0)
python3:amd64 (>= 3.12~)
libflint19:amd64 (>= 3.1.3)
libassuan0:amd64 (>= 2.4.2)
libcompiler-libs-ocaml-dev-y3249:amd64
libstdlib-ocaml-7l663:amd64
libqt6core6t64:amd64 (>= 6.7.2)