Enable haxe again
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 5 Oct 2021 19:24:11 +0000 (20:24 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 5 Oct 2021 19:24:11 +0000 (20:24 +0100)
Goalfile

index 575e432..8139319 100644 (file)
--- 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",