X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=7a7f95ff4d378b59da7a65f88af6792735e2aa45;hb=da984f922bb4dfd240fa92a5df7885d8ea1a1d6f;hp=44e44757c3e7256ea2801f2e0adca0743d631d83;hpb=49350e99fdaeb5caf596e20e3cac8c124d2d7136;p=fedora-ocaml-rebuild.git diff --git a/Goalfile b/Goalfile index 44e4475..7a7f95f 100644 --- a/Goalfile +++ b/Goalfile @@ -6,11 +6,11 @@ let fedora-dir = "%HOME/d/fedora" let fedora-branch = "rawhide" #let fedora-branch = "f34" -let fedora-tag = "f36-build-side-50311" +let fedora-tag = "f37-build-side-54560" # The magic string that must appear in %changelog when the # package has been rebuilt. -let fedora-rebuild-name = "OCaml 4.13.1 rebuild to remove package notes" +let fedora-rebuild-name = "OCaml 4.14.0 rebuild" # Packages that are ignored, which means they are treated as if # they have been rebuilt. @@ -20,6 +20,7 @@ let fedora-ignored = [ # These use rpmautospec and must be rebuilt by hand for now. # XXX eventually need to fix stdlib/fedora.gl to deal with these "ocaml-base64", + "ocaml-dose3", "ocaml-opam-file-format", ] @@ -199,9 +200,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",