- "alt-ergo", "apron", "brltty", "coccinelle", "coq",
- "frama-c", "gappalib-coq", "graphviz", "hevea", "hivex",
- "libguestfs", "libnbd", "nbdkit", "opam", "plplot",
- "virt-top", "virt-v2v", "why3", "z3",
+ "alt-ergo", "apron", "brltty",
+ "graphviz", "hevea", "hivex",
+ "libguestfs", "libnbd",
+ "opam",
+ "plplot",
+ "virt-top", "virt-v2v",
+ "z3",
+