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.
"coq",
"flocq",
"frama-c",
- "gappalib-coq",
+ #"gappalib-coq",
"graphviz",
"haxe",
"hevea",