From: Richard W.M. Jones <rjones@redhat.com>
Date: Wed, 2 Sep 2020 18:37:10 +0000 (+0100)
Subject: F33 rebuild.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=dde1a1d01a14c379f2af4504ccd8a3c66b99e0f4;hp=71862a6ce5b16d6d9ac2e07e581a2869ec99ac09;p=fedora-ocaml-rebuild.git

F33 rebuild.
---

diff --git a/Goalfile b/Goalfile
index ea7b628..f73dafa 100644
--- a/Goalfile
+++ b/Goalfile
@@ -4,9 +4,9 @@ include "fedora.gl"
 
 let fedora-dir = "%HOME/d/fedora"
 
-let fedora-branch = "master"
-#let fedora-branch = "f32"
-let fedora-tag = "f34-build-side-29055"
+#let fedora-branch = "master"
+let fedora-branch = "f33"
+let fedora-tag = "f33-build-side-29131"
 
 # The magic string that must appear in %changelog when the
 # package has been rebuilt.
@@ -170,7 +170,7 @@ let packages = [
     "coq",
     "flocq",
     "frama-c",
-    "gappalib-coq",
+    #"gappalib-coq",
     "graphviz",
     "haxe",
     "hevea",