fedora: Move fedora_* configuration into Config module.

[goaljobs-goals.git] / fedora_ocaml_rebuild.ml

diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml
index bc02617..fed826d 100644 (file)
--- a/fedora_ocaml_rebuild.ml
+++ b/fedora_ocaml_rebuild.ml
@@ -44,7 +44,7 @@ let source_packages =
            "cduce"; "frama-c"; "gappalib-coq"; "graphviz"; "hevea"; "hivex";
            "js-of-ocaml"; "llvm"; "plplot"; "virt-top"; "why3";
            "flocq" (* no OCaml code, but needs to be rebuilt after Coq *);
-           "guestfs-browser";
+           "guestfs-browser"; "libguestfs";
            "virt-dmesg" ]
 
 (* Dependencies of each package.  (pkg, [deps ...]) *)