From b15c59db4d41d8167fc27696944a640b7b1d74a3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Mon, 20 Aug 2018 17:17:36 -0400 Subject: [PATCH] Add utop --- opam | 1 + 1 file changed, 1 insertion(+) 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" ]