From b4451951957a78e0b72522ce08b6b876d0717cb3 Mon Sep 17 00:00:00 2001 From: Louis Abel Date: Mon, 12 Dec 2022 16:13:34 -0700 Subject: [PATCH] add ocaml dep --- hidden.cfg | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) 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"