From ad484f47f483bfcc8c8f50703a5fc8cd5bd3bb48 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 5 May 2020 22:13:12 +0100 Subject: [PATCH] Reenable plplot. --- Goalfile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/Goalfile b/Goalfile index 2b562ad..a6ae59f 100644 --- a/Goalfile +++ b/Goalfile @@ -30,6 +30,7 @@ let other-packages = [ "laby", "libguestfs", "libnbd", "opam", + "plplot", "utop", "virt-top", "virt-v2v", "why3", @@ -44,9 +45,6 @@ let other-packages = [ # to fix this in goals itself, but in the meantime disable nbdkit # and build it by hand. #"nbdkit", - - # https://bugzilla.redhat.com/show_bug.cgi?id=1797853 - # "plplot", ] pure function get-source-packages () returning strings = { -- 1.8.3.1