arm64
libbigstringaf-ocaml-zf782:arm64
libstdlib-ocaml-0d647:arm64
libcoq-stdlib-cw0z4:arm64
libcoq-ext-lib-7qof3:arm64
libcoq-aac-tactics-ungd0:arm64
libstdlib-ocaml-dev-0d647:arm64
perl:arm64 (>= 5.40.0-6)
libgtk-3-0t64:arm64 (>= 3.0.0)