amd64
libgtk-3-0t64:amd64 (>= 3.0.0)
libgtk-3-0t64:amd64 (>= 3.21.4)
libstdlib-ocaml-7l663:amd64
libcompiler-libs-ocaml-dev-y3249:amd64
libgtk-3-0t64:amd64 (>= 3.2.1)
libstdlib-ocaml-dev-7l663:amd64
libqt6core6t64:amd64 (>= 6.7.2)
libavcodec61:amd64 (>= 7:7.0)
libassuan0:amd64 (>= 2.4.2)
libgpgme11t64:amd64 (>= 1.23.2)
libflint17:amd64
libgtk-3-0t64:amd64 (>= 3.1.4)
qtbase-abi-5-15-15:amd64
libcmdliner-ocaml-dev-hduu6:amd64
libgtk-3-0t64:amd64 (>= 3.10)
python3:amd64 (>= 3.12~)
libmumps-seq-5.7:amd64 (>= 5.7.3)
libsvtav1enc1d1:amd64 (>= 1.7.0+dfsg)