From 3759ff1f901b819a8e111cf3fe7cb0e2bfff3586 Mon Sep 17 00:00:00 2001 From: Vincent Bernardoff Date: Fri, 27 Apr 2018 11:35:00 +0200 Subject: [PATCH] Scripts: do not pin `ocplib-json-typed` anymore --- scripts/opam-pin.sh | 2 +- scripts/opam-unpin.sh | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/scripts/opam-pin.sh b/scripts/opam-pin.sh index bd387cd6c..15f471d47 100755 --- a/scripts/opam-pin.sh +++ b/scripts/opam-pin.sh @@ -11,12 +11,12 @@ export OPAMYES=yes ## Should be in sync with `opam-unpin.sh` opam pin add --no-action leveldb git://github.com/chambart/ocaml-leveldb.git#update_4.06 -opam pin add --no-action --dev-repo ocplib-json-typed ## Unpin package we used to pin... opam pin remove --no-action ocp-ocamlres opam pin remove --no-action ocplib-resto opam pin remove --no-action sodium +opam pin remove --no-action ocplib-json-typed ### End of temporary HACK diff --git a/scripts/opam-unpin.sh b/scripts/opam-unpin.sh index 29e72466a..528163714 100755 --- a/scripts/opam-unpin.sh +++ b/scripts/opam-unpin.sh @@ -13,6 +13,5 @@ opam pin remove $packages ## Should be in sync with `opam-pin.sh` opam pin remove --no-action leveldb -opam pin remove --no-action ocplib-json-typed ### End of temporary HACK