From 2cec8696c1c4b14abff13b6f9a1c64be30ec8c48 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 27 Feb 2020 10:58:57 +0000 Subject: [PATCH] Get ready for F32 build into side tag. --- Goalfile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) 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. -- 1.8.3.1