From dde1a1d01a14c379f2af4504ccd8a3c66b99e0f4 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Wed, 2 Sep 2020 19:37:10 +0100
Subject: [PATCH] F33 rebuild.

---
 Goalfile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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",
-- 
1.8.3.1