diff --git a/hidden.cfg b/hidden.cfg index 7837779..6ff9593 100644 --- a/hidden.cfg +++ b/hidden.cfg @@ -15,6 +15,9 @@ # spirv-headers # mingw-w64-tools # cppcheck +# pandoc +# tinyxml2 +# z3 package { name: "PyQt-builder" type: PACKAGE_TYPE_NORMAL_SRC @@ -74,6 +77,62 @@ package { } } +package { + name: "pandoc" + type: PACKAGE_TYPE_NORMAL_SRC + repository { + name: "hidden" + include_filter: "pandoc.x86_64" + include_filter: "pandoc.aarch64" + include_filter: "pandoc.s390x" + include_filter: "pandoc.ppc64le" + } +} + +package { + name: "tinyxml2" + type: PACKAGE_TYPE_NORMAL_SRC + repository { + name: "hidden" + include_filter: "tinyxml2.x86_64" + include_filter: "tinyxml2-devel.x86_64" + include_filter: "tinyxml2.aarch64" + include_filter: "tinyxml2-devel.aarch64" + include_filter: "tinyxml2.ppc64le" + include_filter: "tinyxml2-devel.ppc64le" + include_filter: "tinyxml2.s390x" + include_filter: "tinyxml2-devel.s390x" + } +} + +package { + name: "z3" + type: PACKAGE_TYPE_NORMAL_SRC + repository { + name: "hidden" + include_filter: "z3.x86_64" + include_filter: "z3-devel.x86_64" + include_filter: "z3-libs.x86_64" + include_filter: "ocaml-z3.x86_64" + include_filter: "ocaml-z3-devel.x86_64" + include_filter: "z3.aarch64" + include_filter: "z3-devel.aarch64" + include_filter: "z3-libs.aarch64" + include_filter: "ocaml-z3.aarch64" + include_filter: "ocaml-z3-devel.aarch64" + include_filter: "z3.ppc64le" + include_filter: "z3-devel.ppc64le" + include_filter: "z3-libs.ppc64le" + include_filter: "ocaml-z3.ppc64le" + include_filter: "ocaml-z3-devel.ppc64le" + include_filter: "z3.s390x" + include_filter: "z3-devel.s390x" + include_filter: "z3-libs.s390x" + include_filter: "ocaml-z3.s390x" + include_filter: "ocaml-z3-devel.s390x" + } +} + # All Excludes #exclude_filter { # repo_match: "plus"