diff --git a/hidden.cfg b/hidden.cfg index eb262df..a452274 100644 --- a/hidden.cfg +++ b/hidden.cfg @@ -19,6 +19,7 @@ # tinyxml2 # z3 # ghc-rpm-macros +# ocaml-zarith package { name: "PyQt-builder" type: PACKAGE_TYPE_NORMAL_SRC @@ -144,6 +145,22 @@ package { } } +package { + name: "ocaml-zarith" + type: PACKAGE_TYPE_NORMAL_SRC + repository { + name: "hidden" + include_filter: "ocaml-zarith.x86_64" + include_filter: "ocaml-zarith-devel.x86_64" + include_filter: "ocaml-zarith.aarch64" + include_filter: "ocaml-zarith-devel.aarch64" + include_filter: "ocaml-zarith.ppc64le" + include_filter: "ocaml-zarith-devel.ppc64le" + include_filter: "ocaml-zarith.s390x" + include_filter: "ocaml-zarith-devel.s390x" + } +} + # All Excludes #exclude_filter { # repo_match: "plus"