X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=fedora-packages.gl;h=a569b63e2a718b0a3a0a6af7d837e3b5fc748a44;hb=d313003e2bb01c0dff94a2976371ab7ae67a339c;hp=f9c55c3780c2497a5182681d51479add826cf606;hpb=6130bca72f9155ac36c6bed6c97b03c2f859d770;p=fedora-ocaml-rebuild.git diff --git a/fedora-packages.gl b/fedora-packages.gl index f9c55c3..a569b63 100644 --- a/fedora-packages.gl +++ b/fedora-packages.gl @@ -173,15 +173,13 @@ let packages = [ "flocq", "frama-c", "gappalib-coq", - # Hangs in OCaml tests, investigate later. - #"guestfs-tools", + "guestfs-tools", "graphviz", "haxe", "hevea", "hivex", "libguestfs", - # Hangs in OCaml tests, investigate later. - #"libnbd", + "libnbd", "opam", "planets", "plplot", @@ -190,8 +188,7 @@ let packages = [ "swig", "utop", "virt-top", - # Needs libnbd to build, so build it by hand later. - #"virt-v2v", + "virt-v2v", "why3", "z3", "zenon",