From: Richard W.M. Jones Date: Thu, 27 Feb 2020 10:38:24 +0000 (+0000) Subject: Drop opam - FTBFS. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=5a140e6812fdb9573dcc668513959618a5304e4a;p=fedora-ocaml-rebuild.git Drop opam - FTBFS. --- diff --git a/Goalfile b/Goalfile index 1c87a5e..9587fd8 100644 --- a/Goalfile +++ b/Goalfile @@ -27,7 +27,6 @@ let other-packages = [ "alt-ergo", "apron", "brltty", "graphviz", "hevea", "hivex", "libguestfs", "libnbd", - "opam", "virt-top", "virt-v2v", "z3", @@ -50,6 +49,9 @@ let other-packages = [ # https://bugzilla.redhat.com/show_bug.cgi?id=1797853 # "plplot", + + # FTBFS because of a missing dependency. + # "opam", ] pure function get-source-packages () returning strings = {