From 8c3306de4fe716bc4b097928faa61d8578a9dcfe Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Fri, 17 Apr 2020 16:21:48 +0100
Subject: [PATCH] Add utop.

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

diff --git a/Goalfile b/Goalfile
index 72580d3..29dd771 100644
--- a/Goalfile
+++ b/Goalfile
@@ -28,6 +28,7 @@ let other-packages = [
     "alt-ergo", "apron", "brltty", "coccinelle",
     "graphviz", "haxe", "hevea", "hivex",
     "libguestfs", "libnbd", "opam",
+    "utop",
     "virt-top", "virt-v2v",
     "z3",
 
-- 
1.8.3.1