-let fedora-ignored = [ "ocaml-srpm-macros", "ocaml" ]
-
-# All OCaml-related source package names
-let other-packages = [
- "alt-ergo", "apron", "brltty", "coccinelle", "coq",
- "frama-c", "gappalib-coq", "graphviz", "hevea", "hivex",
- "libguestfs", "libnbd", "opam", "plplot",
- "virt-top", "virt-v2v", "why3", "z3",
- # no OCaml code, but needs to be rebuilt after Coq
- "flocq"
- # "nbdkit" - causes stack overflow in goals expr_to_shell_string
- # when handling EList. Is the list returned too long?