all, amd64
qtbase-abi-5-15-15:amd64
amd64
libsvtav1enc1d1:amd64 (>= 1.7.0+dfsg)
python3:amd64 (>= 3.13~)
libassuan0:amd64 (>= 2.4.2)
libclang-cpp19:amd64 (>= 1:19.1.7)
libclang1-15t64:amd64 (>= 1:5.0~+rc1~)
libarmadillo12:amd64 (>= 1:12.6.7+dfsg)
libcompiler-libs-ocaml-dev-pe0n8:amd64
libcoq-stdlib-tgae0:amd64