let packages = [
"ocaml-alcotest",
"ocaml-astring",
- # Temporarily disable because python3 flake8 is not installable
- #"ocaml-atd",
+ "ocaml-atd",
"ocaml-augeas",
"ocaml-autoconf",
"ocaml-base",
"apron",
"brltty",
"coccinelle",
- # Fails to build, I asked jjames.
- #"coq",
+ "coq",
"flocq",
"frama-c",
"gappalib-coq",
- "graphviz",
- "haxe",
+ "guestfs-tools",
+ # Depends on swig:
+ #"graphviz",
+ # Depends on camlp5:
+ #"haxe",
"hevea",
"hivex",
"libguestfs",