From: Richard W.M. Jones <rjones@redhat.com>
Date: Wed, 22 Apr 2020 19:25:48 +0000 (+0100)
Subject: Disable Coq, libguestfs, virt-v2v.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=f45d7f9640218cacf056e72b29d50f2e5d8d878a;hp=f45d7f9640218cacf056e72b29d50f2e5d8d878a;p=fedora-ocaml-rebuild.git

Disable Coq, libguestfs, virt-v2v.
---