X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=2bef5bd69215b43066e7c613214108f37f0b6c56;hb=46f3814a6ecce68c5b8ba0a22efcadd27af5a760;hp=dcb108ac1a8698f544e61c68dd4f607e6550bded;hpb=b91ee0c6ebf30b52607062f2bbabb77aca01bef5;p=fedora-ocaml-rebuild.git diff --git a/Goalfile b/Goalfile index dcb108a..2bef5bd 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-90189" # 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 for Fedora 41" # %fedora-retry-failed: # If set to 1 then failed builds are retried automatically.