Get ready for F32 build into side tag.

diff --git a/Goalfile b/Goalfile
index 9587fd8..650f211 100644 (file)
--- 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.