X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=29dd77157553cc7cbe61ad82461e97d68382dfb5;hb=8c3306de4fe716bc4b097928faa61d8578a9dcfe;hp=72580d3de0b01db52f0d49ae89398f976ffe6f8c;hpb=6e3c0abee809b588e96095c7f15d07edbf35ae76;p=fedora-ocaml-rebuild.git

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