From 825247094504391f0d9043c4f31af1d84ebc748f Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Fri, 4 Feb 2022 09:59:14 +0000 Subject: [PATCH] Rebuild 4.13.1 to remove package notes --- Goalfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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. -- 1.8.3.1