Add guestfs-tools

[fedora-ocaml-rebuild.git] / Goalfile

diff --git a/Goalfile b/Goalfile
index ef944a7..eabbb98 100644 (file)
--- a/Goalfile
+++ b/Goalfile
@@ -28,8 +28,7 @@ let fedora-ignored = [
 let packages = [
     "ocaml-alcotest",
     "ocaml-astring",
-    # Temporarily disable because python3 flake8 is not installable
-    #"ocaml-atd",
+    "ocaml-atd",
     "ocaml-augeas",
     "ocaml-autoconf",
     "ocaml-base",
@@ -195,6 +194,7 @@ let packages = [
     "flocq",
     "frama-c",
     "gappalib-coq",
+    "guestfs-tools",
     # Depends on swig:
     #"graphviz",
     # Depends on camlp5: