X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=99a4b5fa95301ab11b65ed613619168080096c7d;hb=8406bcf9291fd3d553303b13b2da923bfe156630;hp=44e44757c3e7256ea2801f2e0adca0743d631d83;hpb=49350e99fdaeb5caf596e20e3cac8c124d2d7136;p=fedora-ocaml-rebuild.git diff --git a/Goalfile b/Goalfile index 44e4475..99a4b5f 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.