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