X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=eabbb981a53e6075edd064892f96de99b7b55b41;hb=e8e1a56899cf04b0e48b547aa0782893195b9428;hp=964121b27d701ea40ca6962a999fbb6fdbd35931;hpb=eedc74f8e10f68905779370cc936b0a11ea35282;p=fedora-ocaml-rebuild.git

diff --git a/Goalfile b/Goalfile
index 964121b..eabbb98 100644
--- a/Goalfile
+++ b/Goalfile
@@ -194,6 +194,7 @@ let packages = [
     "flocq",
     "frama-c",
     "gappalib-coq",
+    "guestfs-tools",
     # Depends on swig:
     #"graphviz",
     # Depends on camlp5: