- "alt-ergo", "apron", "brltty",
- "graphviz", "hevea", "hivex",
- "libguestfs", "libnbd", "nbdkit",
- "opam",
- "plplot",
+ "alt-ergo", "apron", "brltty", "coccinelle",
+ "haxe", "hevea", "hivex",
+ "laby",
+ "libguestfs",
+ "libnbd", "opam",
+ "utop",