Begin rebuild of OCaml 5.1

[fedora-ocaml-rebuild.git] / Goalfile

diff --git a/Goalfile b/Goalfile
index ea13f69..3fe81cf 100644 (file)
--- 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,11 +191,12 @@ let packages = [
     "apron",
     "brltty",
     "coccinelle",
-    # Fails to build, I asked jjames.
-    #"coq",
+    "coq",
+    "emacs-common-tuareg",
     "flocq",
     "frama-c",
     "gappalib-coq",
+    "guestfs-tools",
     "graphviz",
     "haxe",
     "hevea",
@@ -203,11 +204,11 @@ let packages = [
     "libguestfs",
     "libnbd",
     "opam",
+    "planets",
     "plplot",
     "prooftree",
     "supermin",
-    # Tests fail for unclear reasons.
-    #"swig",
+    "swig",
     "utop",
     "virt-top",
     "virt-v2v",