From a3865fcfb9821fc748513b898be9d3a35af9dae0 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sun, 28 Feb 2021 21:48:04 +0000 Subject: [PATCH] Fedora 35 OCaml 4.12.0 build. --- Goalfile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Goalfile b/Goalfile index 5c9b65b..6d29efc 100644 --- a/Goalfile +++ b/Goalfile @@ -4,13 +4,13 @@ include "fedora.gl" let fedora-dir = "%HOME/d/fedora" -#let fedora-branch = "master" -let fedora-branch = "f33" -let fedora-tag = "f33-build-side-29131" +let fedora-branch = "rawhide" +#let fedora-branch = "f34" +let fedora-tag = "f35-build-side-38024" # The magic string that must appear in %changelog when the # package has been rebuilt. -let fedora-rebuild-name = "OCaml 4.11.1 rebuild" +let fedora-rebuild-name = "OCaml 4.12.0 build" # Packages that are ignored, which means they are treated as if # they have been rebuilt. -- 1.8.3.1