diff --git a/aarch64/include_exclude.conf b/aarch64/include_exclude.conf index 4d17916..41c5bba 100644 --- a/aarch64/include_exclude.conf +++ b/aarch64/include_exclude.conf @@ -34,7 +34,20 @@ filter_packages = [ "greenboot-status", "qemu-kvm-hw-usbredir", "subscription-manager-rhsm-certificates.aarch64", - "gnome-shell-extension-no-overview" + "gnome-shell-extension-no-overview", + "ocaml-dune-configurator.aarch64", + "ocaml-dune-configurator-debuginfo.aarch64", + "ocaml-dune-configurator-devel.aarch64", + "ocaml-dyn.aarch64", + "ocaml-dyn-debuginfo.aarch64", + "ocaml-dyn-devel.aarch64", + "ocaml-ordering.aarch64", + "ocaml-ordering-debuginfo.aarch64", + "ocaml-ordering-devel.aarch64", + "ocaml-stdune.aarch64", + "ocaml-stdune-debuginfo.aarch64", + "ocaml-stdune-devel.aarch64", + ] } ),