all
python3:amd64 (>= 3.12~)
libgtk-3-0t64:amd64 (>= 3.23.1)
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)