let other-packages = [
"alt-ergo", "apron", "brltty",
"graphviz", "hevea", "hivex",
- "libguestfs", "libnbd",
+ "libguestfs", "libnbd", "nbdkit",
"virt-top", "virt-v2v",
# no OCaml code, but needs to be rebuilt after Coq
# "why3", "zenon",
# "flocq",
- # causes stack overflow in goals expr_to_shell_string
- # when handling EList. Is the list returned too long?
- # "nbdkit",
-
# plplot FTBFS for unrelated reasons
# "plplot",