From c7c7ffbd0ecb6b2d9509477db5c14346887c4ce3 Mon Sep 17 00:00:00 2001 From: Vincent Bernardoff Date: Mon, 22 May 2017 09:42:19 +0200 Subject: [PATCH] do not pin cohttp to dev version --- scripts/install_build_deps.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/scripts/install_build_deps.sh b/scripts/install_build_deps.sh index 2f7eea0b2..ae9632822 100755 --- a/scripts/install_build_deps.sh +++ b/scripts/install_build_deps.sh @@ -50,7 +50,6 @@ if "$pin"; then opam pin --yes add --no-action --dev-repo ocp-ocamlres opam pin --yes add --no-action --dev-repo ocplib-json-typed opam pin --yes add --no-action --dev-repo ocplib-resto - opam pin --yes add --no-action --dev-repo cohttp opam pin --yes add --no-action ocp-build 1.99.18-beta ## TMP fix opam pin add typerex-build --dev --no-action ## Force opam to take account of the new `tezos-deps.opam`