-# All OCaml-related source package names
-let other-packages = [
- "alt-ergo", "apron", "brltty",
- "graphviz", "hevea", "hivex",
- "libguestfs", "libnbd", "nbdkit",
- "plplot",
- "virt-top", "virt-v2v",
- "z3",
-
- # no OCaml code, but needs to be rebuilt after Coq
- #"flocq"
-
- # Coq problems:
- # https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/6I2CB4KNAZXH6TKX5WQZJ3ZQGBIOCNJK/
- # "coq", "frama-c", "gappalib-coq",
- # "why3", "zenon",
- # "flocq",
-
- # Coccinelle uses -unsafe-string.
- # "coccinelle",
-
- # https://bugzilla.redhat.com/show_bug.cgi?id=1792770
- # "opam",
-]
+# Include the full list of packages for either Fedora or ELN.
+include "./fedora-packages.gl"
+#include "./eln-packages.gl"
+
+# Get the list of source packages.