From: Richard W.M. Jones <rjones@redhat.com>
Date: Fri, 4 Feb 2022 09:59:14 +0000 (+0000)
Subject: Rebuild 4.13.1 to remove package notes
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=825247094504391f0d9043c4f31af1d84ebc748f;p=fedora-ocaml-rebuild.git

Rebuild 4.13.1 to remove package notes
---

diff --git a/Goalfile b/Goalfile
index e504c78..2ef7879 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-46495"
+let fedora-tag = "f36-build-side-50311"
 
 # The magic string that must appear in %changelog when the
 # package has been rebuilt.
-let fedora-rebuild-name = "OCaml 4.13.1 build"
+let fedora-rebuild-name = "OCaml 4.13.1 rebuild to remove package notes"
 
 # Packages that are ignored, which means they are treated as if
 # they have been rebuilt.