diff --git a/aarch64/include_exclude.conf b/aarch64/include_exclude.conf index 2336c79..6d4447c 100644 --- a/aarch64/include_exclude.conf +++ b/aarch64/include_exclude.conf @@ -34,6 +34,14 @@ filter_packages = [ "greenboot-status", "qemu-kvm-hw-usbredir", "subscription-manager-rhsm-certificates.aarch64", + "ocaml-dune-configurator.aarch64", + "ocaml-dune-configurator-devel.aarch64", + "ocaml-dyn.aarch64", + "ocaml-dyn-devel.aarch64", + "ocaml-ordering.aarch64", + "ocaml-ordering-devel.aarch64", + "ocaml-stdune.aarch64", + "ocaml-stdune-devel.aarch64", ] } ),