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