F33 rebuild.

diff --git a/Goalfile b/Goalfile
index ea7b628..f73dafa 100644 (file)
--- 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",