From 9612274567743988d1f94908c3654c7fd418f387 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sun, 15 Jul 2018 09:31:53 +0200 Subject: [PATCH] Use http for git url Only this works for dune-release Signed-off-by: Rudi Grinberg --- utop.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/utop.opam b/utop.opam index 1645463..f7ad2e0 100644 --- a/utop.opam +++ b/utop.opam @@ -4,7 +4,7 @@ authors: ["Jérémie Dimino"] license: "BSD3" homepage: "https://github.com/diml/utop" bug-reports: "https://github.com/diml/utop/issues" -dev-repo: "git://github.com/diml/utop.git" +dev-repo: "https://github.com/diml/utop.git" build: [ ["jbuilder" "subst"] {pinned} ["jbuilder" "build" "-p" name "-j" jobs]