- # coq + deps are broken, see:
- # https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/6I2CB4KNAZXH6TKX5WQZJ3ZQGBIOCNJK/
- # "coq", "flocq", "frama-c", "gappalib-coq", "why3", "zenon"
+ # Causes a cyclic dependency between libnbd <-> nbdkit. We need
+ # to fix this in goals itself, but in the meantime disable nbdkit
+ # and build it by hand.
+ # "nbdkit",