"flocq",
"frama-c",
"gappalib-coq",
- "guestfs-tools",
+ # Hangs in OCaml tests, investigate later.
+ #"guestfs-tools",
"graphviz",
"haxe",
"hevea",
"swig",
"utop",
"virt-top",
- "virt-v2v",
+ # Needs libnbd to build, so build it by hand later.
+ #"virt-v2v",
"why3",
"z3",
"zenon",