From: Richard W.M. Jones Date: Tue, 19 Aug 2014 07:56:50 +0000 (+0100) Subject: Add virt-dmesg. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;ds=sidebyside;h=511e6af609563e202b14006b2bf0b1cbb51f7a55;p=goaljobs-goals.git Add virt-dmesg. --- diff --git a/fedora_ocaml_rebuild.ml b/fedora_ocaml_rebuild.ml index 6e3925c..39e95e7 100644 --- a/fedora_ocaml_rebuild.ml +++ b/fedora_ocaml_rebuild.ml @@ -47,7 +47,8 @@ let source_packages = "cduce"; "frama-c"; "gappalib-coq"; "graphviz"; "hevea"; "hivex"; "js-of-ocaml"; "llvm"; "plplot"; "virt-top"; "why3"; "xen"; "flocq" (* no OCaml code, but needs to be rebuilt after Coq *); - "guestfs-browser" ] + "guestfs-browser"; + "virt-dmesg" ] (* Dependencies of each package. (pkg, [deps ...]) *) let pkg_deps = dependencies branch source_packages