-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", "nbdkit", "opam", "plplot",
- "virt-top", "virt-v2v", "why3", "z3",
- # no OCaml code, but needs to be rebuilt after Coq
- "flocq"