X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=8139319619365cbbf4ab03c96f3525f747b0d861;hb=5b259a17ed1e447e874e3d7cb2b5cdec5ed22a99;hp=575e4322dc244a644b64db48a41b9f79b658b2af;hpb=02ce4f5569e5e747fcb4ef904d14b9ebd3381676;p=fedora-ocaml-rebuild.git

diff --git a/Goalfile b/Goalfile
index 575e432..8139319 100644
--- a/Goalfile
+++ b/Goalfile
@@ -178,8 +178,7 @@ let packages = [
     "frama-c",
     "gappalib-coq",
     "graphviz",
-    # requires ocaml-ppx-tools-versioned-devel
-    #"haxe",
+    "haxe",
     "hevea",
     "hivex",
     "laby",