X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=fedora_ocaml_rebuild.ml;h=fed826d93acc4833981f7c3f228a356273fdc576;hb=aada1d9897b2df4bb10c39707a01b5752e4de27f;hp=bc0261707598806f6e14d6b042814ec5f61511e3;hpb=684162eb404fcf426095ed4e40ba34f04ad5e9dd;p=goaljobs-goals.git diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index bc02617..fed826d 100644 --- 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 ...]) *)