From 1eff3e970b65ef5c8c83489f2b81c62a280365ea Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sun, 19 Jun 2022 12:54:49 +0100 Subject: [PATCH] Try enabling plplot again --- Goalfile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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", -- 1.8.3.1