From: Richard W.M. Jones Date: Sun, 19 Jun 2022 11:54:49 +0000 (+0100) Subject: Try enabling plplot again X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=1eff3e970b65ef5c8c83489f2b81c62a280365ea;hp=8406bcf9291fd3d553303b13b2da923bfe156630;p=fedora-ocaml-rebuild.git Try enabling plplot again --- diff --git a/Goalfile b/Goalfile index 99a4b5f..07ef574 100644 --- a/Goalfile +++ b/Goalfile @@ -199,9 +199,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",