diff --git a/opam b/opam index 6454b9f..cd5d455 100644 --- a/opam +++ b/opam @@ -7,4 +7,5 @@ depends: [ "ocp-index" "ocp-browser" "ocp-indent" + "utop" ]