X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=ad820ec27b98a631c876d95eb9685f0ae1e40fd8;hb=4436477c429bac20787974b6c0f5b9845b77e84c;hp=dcb108ac1a8698f544e61c68dd4f607e6550bded;hpb=b91ee0c6ebf30b52607062f2bbabb77aca01bef5;p=fedora-ocaml-rebuild.git diff --git a/Goalfile b/Goalfile index dcb108a..ad820ec 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 = "f40-build-side-79351" +let fedora-tag = "f41-build-side-91297" # The magic string that must appear in %changelog when the # package has been rebuilt. -let fedora-rebuild-name = "OCaml 5.1.1 rebuild for Fedora 40" +let fedora-rebuild-name = "OCaml 5.2.0 ppc64le fix" # %fedora-retry-failed: # If set to 1 then failed builds are retried automatically.