let packages = [
"ocaml-alcotest",
"ocaml-astring",
- # Temporarily disable because python3 flake8 is not installable
- #"ocaml-atd",
+ "ocaml-atd",
"ocaml-augeas",
"ocaml-autoconf",
"ocaml-base",
"ocaml-camlidl",
"ocaml-camlimages",
"ocaml-camlp-streams",
- # Waiting on two dependencies to be reviewed
- #"ocaml-camlp5",
+ "ocaml-camlp5",
"ocaml-camomile",
"ocaml-cinaps",
"ocaml-cmdliner",
"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",
"apron",
"brltty",
"coccinelle",
- # Fails to build, I asked jjames.
- #"coq",
- # Depends on coq:
- #"flocq",
- # Depends on why3 -> coq:
- #"frama-c",
- # Depends on coq:
- #"gappalib-coq",
- # Depends on swig:
- #"graphviz",
- # Depends on camlp5:
- #"haxe",
+ "coq",
+ "emacs-common-tuareg",
+ "flocq",
+ "frama-c",
+ "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