X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=2bef5bd69215b43066e7c613214108f37f0b6c56;hb=46f3814a6ecce68c5b8ba0a22efcadd27af5a760;hp=00a3f57c456f76b94850c679beb43c11ebbab2fe;hpb=d1bb652d1272d8725af78e43211ec374d79d98bd;p=fedora-ocaml-rebuild.git diff --git a/Goalfile b/Goalfile index 00a3f57..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-79788" +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 + s390x code gen fix 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.