From 5b259a17ed1e447e874e3d7cb2b5cdec5ed22a99 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 5 Oct 2021 20:24:11 +0100
Subject: [PATCH] Enable haxe again

---
 Goalfile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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