X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=3fe81cfc32635329033ebcadaba3013fdd1289f2;hb=3a984910baf563529f82d1450cc32ae390e82993;hp=f493246b1860a12657810840169cd885b1373436;hpb=402c0103e054dc6317096b42e97ddc5567d20290;p=fedora-ocaml-rebuild.git

diff --git a/Goalfile b/Goalfile
index f493246..3fe81cf 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",
@@ -46,8 +45,7 @@ let packages = [
     "ocaml-camlidl",
     "ocaml-camlimages",
     "ocaml-camlp-streams",
-    # Waiting on two dependencies to be reviewed
-    #"ocaml-camlp5",
+    "ocaml-camlp5",
     "ocaml-camomile",
     "ocaml-cinaps",
     "ocaml-cmdliner",
@@ -113,13 +111,15 @@ let packages = [
     "ocaml-ocplib-simplex",
     "ocaml-octavius",
     "ocaml-odoc",
-    "ocaml-odoc-parser",
+    # To be retired after 5.1, now merged into ocaml-odoc
+    #"ocaml-odoc-parser",
     "ocaml-omake",
     "ocaml-opam-file-format",
     "ocaml-ounit",
     "ocaml-parmap",
     "ocaml-parsexp",
     "ocaml-pcre",
+    "ocaml-pcre2",
     "ocaml-perl4caml",
     "ocaml-postgresql",
     "ocaml-pp",
@@ -191,35 +191,30 @@ let packages = [
     "apron",
     "brltty",
     "coccinelle",
-    # Fails to build, I asked jjames.
-    #"coq",
-    # Depends on coq:
-    #"flocq",
+    "coq",
+    "emacs-common-tuareg",
+    "flocq",
     "frama-c",
-    # Depends on coq:
-    #"gappalib-coq",
-    # Depends on swig:
-    #"graphviz",
-    # Depends on camlp5:
-    #"haxe",
+    "gappalib-coq",
+    "guestfs-tools",
+    "graphviz",
+    "haxe",
     "hevea",
     "hivex",
     "libguestfs",
     "libnbd",
     "opam",
+    "planets",
     "plplot",
     "prooftree",
     "supermin",
-    # Tests fail for unclear reasons.
-    #"swig",
+    "swig",
     "utop",
     "virt-top",
     "virt-v2v",
-    # Depends on coq:
-    #"why3",
+    "why3",
     "z3",
-    # Depends on coq:
-    #"zenon",
+    "zenon",
 
     # Causes a cyclic dependency between libnbd <-> nbdkit.  We need
     # to fix this in goals itself, but in the meantime disable nbdkit