X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=fedora-packages.gl;h=f4dae31f3fcd1f274b775af965e51d189099e6f3;hb=d1bb652d1272d8725af78e43211ec374d79d98bd;hp=f9c55c3780c2497a5182681d51479add826cf606;hpb=6130bca72f9155ac36c6bed6c97b03c2f859d770;p=fedora-ocaml-rebuild.git diff --git a/fedora-packages.gl b/fedora-packages.gl index f9c55c3..f4dae31 100644 --- a/fedora-packages.gl +++ b/fedora-packages.gl @@ -77,7 +77,6 @@ let packages = [ "ocaml-mtime", "ocamlmod", "ocaml-mysql", - "ocaml-newt", "ocaml-num", "ocaml-obuild", "ocaml-ocamlbuild", @@ -173,15 +172,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 +187,7 @@ let packages = [ "swig", "utop", "virt-top", - # Needs libnbd to build, so build it by hand later. - #"virt-v2v", + "virt-v2v", "why3", "z3", "zenon",