From 783cd355e494e7de7bf8198f19ef6039539c22f1 Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Thu, 12 Dec 2019 15:07:42 +0100 Subject: [PATCH] no pinned deps --- ligo.opam | 3 --- 1 file changed, 3 deletions(-) diff --git a/ligo.opam b/ligo.opam index 896b93eee..351c8fed7 100644 --- a/ligo.opam +++ b/ligo.opam @@ -23,9 +23,6 @@ depends: [ # work around upstream in-place update "ocaml-migrate-parsetree" { = "1.4.0" } ] -pin-depends: [ - ["bisect_ppx.git" "git+https://github.com/aantron/bisect_ppx.git"] -] build: [ [ "dune" "build" "-p" name "-j" jobs ] ]