X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=964121b27d701ea40ca6962a999fbb6fdbd35931;hb=eedc74f8e10f68905779370cc936b0a11ea35282;hp=ea13f69f19a8fec89e98b8be70f62164fdb25626;hpb=a11c8cf33577f14c3043d26e384ca2e8a6b5753f;p=fedora-ocaml-rebuild.git

diff --git a/Goalfile b/Goalfile
index ea13f69..964121b 100644
--- a/Goalfile
+++ b/Goalfile
@@ -28,8 +28,7 @@ let fedora-ignored = [
 let packages = [
     "ocaml-alcotest",
     "ocaml-astring",
-    # Temporarily disable because python3 flake8 is not installable
-    #"ocaml-atd",
+    "ocaml-atd",
     "ocaml-augeas",
     "ocaml-autoconf",
     "ocaml-base",
@@ -191,13 +190,14 @@ let packages = [
     "apron",
     "brltty",
     "coccinelle",
-    # Fails to build, I asked jjames.
-    #"coq",
+    "coq",
     "flocq",
     "frama-c",
     "gappalib-coq",
-    "graphviz",
-    "haxe",
+    # Depends on swig:
+    #"graphviz",
+    # Depends on camlp5:
+    #"haxe",
     "hevea",
     "hivex",
     "libguestfs",