X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=7a7f95ff4d378b59da7a65f88af6792735e2aa45;hb=da984f922bb4dfd240fa92a5df7885d8ea1a1d6f;hp=99a4b5fa95301ab11b65ed613619168080096c7d;hpb=8406bcf9291fd3d553303b13b2da923bfe156630;p=fedora-ocaml-rebuild.git diff --git a/Goalfile b/Goalfile index 99a4b5f..7a7f95f 100644 --- a/Goalfile +++ b/Goalfile @@ -20,6 +20,7 @@ let fedora-ignored = [ # These use rpmautospec and must be rebuilt by hand for now. # XXX eventually need to fix stdlib/fedora.gl to deal with these "ocaml-base64", + "ocaml-dose3", "ocaml-opam-file-format", ] @@ -199,9 +200,7 @@ let packages = [ "libguestfs", "libnbd", "opam", - # plplot dependencies cannot be installed: - # https://bugzilla.redhat.com/show_bug.cgi?id=2050480 - #"plplot", + "plplot", "prooftree", "supermin", "utop",