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",
- # Depends on coq:
- #"flocq",
+ "coq",
+ "flocq",
"frama-c",
- # Depends on coq:
- #"gappalib-coq",
+ "gappalib-coq",
+ "guestfs-tools",
# Depends on swig:
#"graphviz",
# Depends on camlp5:
"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