-# All OCaml-related source package names
-let other-packages = [
- "alt-ergo", "apron", "brltty", "coccinelle",
- "graphviz", "haxe", "hevea", "hivex",
- "laby",
- "libguestfs",
- "libnbd", "opam",
- "utop",
- "virt-top", "virt-v2v",
- "why3",
- "z3",
-
- # For Coq:
- "coq", "frama-c", "gappalib-coq",
- "zenon",
- "flocq",
-
- # Causes a cyclic dependency between libnbd <-> nbdkit. We need
- # to fix this in goals itself, but in the meantime disable nbdkit
- # and build it by hand.
- #"nbdkit",
-
- # https://bugzilla.redhat.com/show_bug.cgi?id=1797853
- # "plplot",
-]
+# Include the full list of packages for either Fedora or ELN.
+include "./fedora-packages.gl"
+#include "./eln-packages.gl"