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