X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=f73dafad1bd7e45a9c9489fac4585c3822fbece8;hb=dde1a1d01a14c379f2af4504ccd8a3c66b99e0f4;hp=ea7b628cb4e0fe51ffe24e8dc598e335634c9b57;hpb=71862a6ce5b16d6d9ac2e07e581a2869ec99ac09;p=fedora-ocaml-rebuild.git

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