From e8e1a56899cf04b0e48b547aa0782893195b9428 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Fri, 14 Jul 2023 15:06:19 +0100
Subject: [PATCH] Add guestfs-tools

---
 Goalfile | 1 +
 1 file changed, 1 insertion(+)

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:
-- 
1.8.3.1