From: Richard W.M. Jones <rjones@redhat.com>
Date: Fri, 17 Apr 2020 15:21:48 +0000 (+0100)
Subject: Add utop.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=8c3306de4fe716bc4b097928faa61d8578a9dcfe;hp=6e3c0abee809b588e96095c7f15d07edbf35ae76;p=fedora-ocaml-rebuild.git

Add utop.
---

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",