diff --git a/aarch64/include_exclude.conf b/aarch64/include_exclude.conf index 6d4447c..2336c79 100644 --- a/aarch64/include_exclude.conf +++ b/aarch64/include_exclude.conf @@ -34,14 +34,6 @@ 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", ] } ),