amd64
libcoq-stdlib-p29e7:amd64
libcompiler-libs-ocaml-dev-y3249:amd64
all, amd64
libclang-cpp19:amd64 (>= 1:19.1.3)
dpkg-dev:amd64 (>= 1.22.5)
python3:amd64 (>= 3.12~)
libgtk-3-0t64:amd64 (>= 3.24.0)
libperl5.36:amd64 (>= 5.36.0)
libstdlib-ocaml-dev-7l663:amd64
qtbase-abi-5-15-15:amd64
libgtk-3-0t64:amd64 (>= 3.22.25)
libssh-gcrypt-4:amd64 (>= 0.8.0)
libsvtav1enc1d1:amd64 (>= 1.7.0+dfsg)
libavcodec61:amd64 (>= 7:7.0)