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.

diff --git a/Goalfile b/Goalfile
index 13d612f..cc2f299 100644 (file)
--- a/Goalfile
+++ b/Goalfile
@@ -33,6 +33,7 @@ let other-packages = [
     "libguestfs", "libnbd", "nbdkit",
     "plplot",
     "virt-top", "virt-v2v",
     "libguestfs", "libnbd", "nbdkit",
     "plplot",
     "virt-top", "virt-v2v",

+    "z3",

 
     # no OCaml code, but needs to be rebuilt after Coq
     #"flocq"
 
     # no OCaml code, but needs to be rebuilt after Coq
     #"flocq"


@@ -43,9 +44,6 @@ let other-packages = [
     # "why3", "zenon",
     # "flocq",
 
     # "why3", "zenon",
     # "flocq",
 

-    # https://bugzilla.redhat.com/show_bug.cgi?id=1792740
-    # "z3",
-

     # Coccinelle uses -unsafe-string.
     # "coccinelle",
 
     # Coccinelle uses -unsafe-string.
     # "coccinelle",