X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=fedora-packages.gl;h=22378d575700f8af48fd01f603f0c98ec3b4dc02;hb=refs%2Fheads%2Fmaster;hp=f9c55c3780c2497a5182681d51479add826cf606;hpb=6130bca72f9155ac36c6bed6c97b03c2f859d770;p=fedora-ocaml-rebuild.git diff --git a/fedora-packages.gl b/fedora-packages.gl index f9c55c3..22378d5 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", @@ -147,6 +146,7 @@ let packages = [ "ocaml-topkg", "ocaml-trie", "ocaml-tyxml", + "ocaml-unionfind", "ocaml-uucd", "ocaml-uucp", "ocaml-uunf", @@ -173,25 +173,22 @@ 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", + #"plplot", - FTBFS with various GCC errors "prooftree", "supermin", - "swig", + #"swig", - FTBFS with a failure in the Python tests "utop", "virt-top", - # Needs libnbd to build, so build it by hand later. - #"virt-v2v", + "virt-v2v", "why3", "z3", "zenon",