From 1a7555d91ab23552e607e8cccebfc371f5a322fb Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 2 Mar 2021 09:42:09 +0000
Subject: [PATCH] Remove haxe as it FTBFS.

---
 Goalfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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