From: Richard W.M. Jones Date: Thu, 27 Feb 2020 10:58:57 +0000 (+0000) Subject: Get ready for F32 build into side tag. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=2cec8696c1c4b14abff13b6f9a1c64be30ec8c48;hp=5a140e6812fdb9573dcc668513959618a5304e4a;p=fedora-ocaml-rebuild.git Get ready for F32 build into side tag. --- diff --git a/Goalfile b/Goalfile index 9587fd8..650f211 100644 --- a/Goalfile +++ b/Goalfile @@ -4,12 +4,13 @@ include "fedora.gl" let fedora-dir = "%HOME/d/fedora" -let fedora-branch = "master" -let fedora-tag = "f33-build-side-19773" +#let fedora-branch = "master" +let fedora-branch = "f32" +let fedora-tag = "f32-build-side-19863" # The magic string that must appear in %changelog when the # package has been rebuilt. -let fedora-rebuild-name = "OCaml 4.10.0 final." +let fedora-rebuild-name = "OCaml 4.10.0 final (Fedora 32)." # Packages that are blocked. Any dependent packages are also blocked # automatically.