From 2bae1949c76130a92149d5b3da1c9bbcca464443 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 25 Feb 2020 11:04:28 +0000 Subject: [PATCH] Re-enable z3. Jerry tells me this package is fixed with a temporary workaround. Bug 1792740 is only there as a placeholder for the permanent fix. --- Goalfile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/Goalfile b/Goalfile index 13d612f..cc2f299 100644 --- a/Goalfile +++ b/Goalfile @@ -33,6 +33,7 @@ let other-packages = [ "libguestfs", "libnbd", "nbdkit", "plplot", "virt-top", "virt-v2v", + "z3", # no OCaml code, but needs to be rebuilt after Coq #"flocq" @@ -43,9 +44,6 @@ let other-packages = [ # "why3", "zenon", # "flocq", - # https://bugzilla.redhat.com/show_bug.cgi?id=1792740 - # "z3", - # Coccinelle uses -unsafe-string. # "coccinelle", -- 1.8.3.1