amd64
libbigstringaf-ocaml-nbhp2:amd64
libroscpp4t64:amd64 (>= 1.17.0+ds)
kglobalacceld:amd64
libassuan0:amd64 (>= 2.4.2)
perl:amd64 (>= 5.40.0-6)
libstdlib-ocaml-m4xw9:amd64
libcoq-stdlib-68yx1:amd64
libcoq-ext-lib-hjs39:amd64
libcoq-aac-tactics-vkvl8:amd64
libicu72:amd64 (>= 72.1~rc-1~)
libstdlib-ocaml-dev-m4xw9:amd64
libptime-ocaml-hu770:amd64
perl:amd64 (>= 5.40.1-3)